Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Loads new public-key examples
authorpaulson
Thu, 05 Dec 1996 19:01:49 +0100
changeset 2325 ea8a1fc512e6
parent 2324 7c252931a72c
child 2326 6df4488339e4
Loads new public-key examples
src/HOL/Auth/ROOT.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Auth/ROOT.ML	Thu Dec 05 19:01:09 1996 +0100
+++ b/src/HOL/Auth/ROOT.ML	Thu Dec 05 19:01:49 1996 +0100
@@ -12,7 +12,7 @@
 proof_timing := true;
 goals_limit := 1;
 
-use_thy "Shared";
+(*Shared-key protocols*)
 use_thy "NS_Shared";
 use_thy "OtwayRees";
 use_thy "OtwayRees_AN";
@@ -21,3 +21,7 @@
 use_thy "Yahalom";
 use_thy "Yahalom2";
 
+(*Public-key protocols*)
+use_thy "NS_Public_Bad";
+use_thy "NS_Public";
+
isabelle