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.
doc-src/TutorialI/Protocol/Event_lemmas.ML
changeset 23891 4127c1d910f1
parent 21828 b8166438c772 
--- a/doc-src/TutorialI/Protocol/Event_lemmas.ML	Fri Jul 20 19:54:03 2007 +0200
+++ b/doc-src/TutorialI/Protocol/Event_lemmas.ML	Sat Jul 21 09:14:16 2007 +0200
@@ -223,7 +223,7 @@
 			       parts_trans,
                                Says_imp_knows_Spy RS analz.Inj,
                                impOfSubs analz_mono, analz_cut] 
-                        addIs [less_SucI]) i;
+                        addIs [@{thm less_SucI}]) i;
 
 
 (*Compatibility for the old "spies" function*)
isabelle