• acholewa's avatar
    Moved Amended-Needham Schroeder into done_examples (temporary measure until... · 0bcfb8d4
    acholewa authored
    Moved Amended-Needham Schroeder into done_examples (temporary measure until all of the example theories have been properly converted into the latest Maude-PSL version). Also removed Amended-NS which was just a differently named file of the same protocol as Amended-Needham-Schroeder, and therefore not necessary.
    0bcfb8d4
Amended-Needham-Schroeder.maude 3.26 KB