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/Constrains.thy
changeset 6823 97babc436a41
parent 6705 b2662096ccd0
child 13797 baefae13ad37 
--- a/src/HOL/UNITY/Constrains.thy	Sun Jun 13 13:52:50 1999 +0200
+++ b/src/HOL/UNITY/Constrains.thy	Sun Jun 13 13:53:33 1999 +0200
@@ -32,7 +32,8 @@
 	   ==> s' : reachable F"
 
 consts
-  Co, Unless :: "['a set, 'a set] => 'a program set"       (infixl 60)
+  Constrains :: "['a set, 'a set] => 'a program set"  (infixl "Co"     60)
+  op_Unless  :: "['a set, 'a set] => 'a program set"  (infixl "Unless" 60)
 
 defs
   Constrains_def
isabelle