Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Auth/Message_lemmas.ML
changeset 11230 756c5034f08b
parent 11217 54a86efcb0ba
child 11251 a6816d47f41d 
--- a/src/HOL/Auth/Message_lemmas.ML	Wed Mar 28 13:40:06 2001 +0200
+++ b/src/HOL/Auth/Message_lemmas.ML	Thu Mar 29 10:44:37 2001 +0200
@@ -14,7 +14,7 @@
 val analz_mono = thm "analz_mono";
 val synth_mono = thm "synth_mono";
 val HPair_def = thm "HPair_def";
-val isSymKey_def = thm "isSymKey_def";
+val symKeys_def = thm "symKeys_def";
 
 structure parts =
   struct
isabelle