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/UNITY/Token.thy
changeset 5931 325300576da7
parent 5782 7559f116cb10
child 6536 281d44905cab 
--- a/src/HOL/UNITY/Token.thy	Wed Nov 18 11:12:29 1998 +0100
+++ b/src/HOL/UNITY/Token.thy	Wed Nov 18 15:10:46 1998 +0100
@@ -49,7 +49,7 @@
 
     TR4  "F : constrains (H i - HasTok i) (H i)"
 
-    TR5  "F : constrains (HasTok i) (HasTok i Un Compl(E i))"
+    TR5  "F : constrains (HasTok i) (HasTok i Un -(E i))"
 
     TR6  "F : leadsTo (H i Int HasTok i) (E i)"
isabelle