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/Client.thy
changeset 6295 351b3c2b0d83
parent 6012 1894bfc4aee9
child 6800 9ee166138311 
--- a/src/HOL/UNITY/Client.thy	Mon Mar 01 18:37:52 1999 +0100
+++ b/src/HOL/UNITY/Client.thy	Mon Mar 01 18:38:43 1999 +0100
@@ -48,8 +48,7 @@
 		          size (ask s) = size (rel s))}"
 
   Cli_prg :: state program
-    "Cli_prg == mk_program (UNIV,
-			    {s. tok s : atMost Max &
+    "Cli_prg == mk_program ({s. tok s : atMost Max &
 			        giv s = [] &
 			        ask s = [] &
 			        rel s = []},
isabelle