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/TLS.thy
changeset 11230 756c5034f08b
parent 11185 1b737b4c2108
child 11287 0103ee3082bf 
--- a/src/HOL/Auth/TLS.thy	Wed Mar 28 13:40:06 2001 +0200
+++ b/src/HOL/Auth/TLS.thy	Thu Mar 29 10:44:37 2001 +0200
@@ -72,7 +72,7 @@
   inj_sessionK  "inj sessionK"	
 
   (*sessionK makes symmetric keys*)
-  isSym_sessionK "isSymKey (sessionK nonces)"
+  isSym_sessionK "sessionK nonces \\<in> symKeys"
 
 
 consts    tls :: event list set
isabelle