Mercurial Mercurial > repos > Old_HOL / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Deleted extra space in clos_mk.
authorlcp
Thu, 06 Apr 1995 11:49:42 +0200
changeset 246 0f9230a24164
parent 245 63e249badea6
child 247 05736fb55c13
Deleted extra space in clos_mk.
ex/MT.thy file | annotate | diff | comparison | revisions 
--- a/ex/MT.thy	Thu Apr 06 11:47:00 1995 +0200
+++ b/ex/MT.thy	Thu Apr 06 11:49:42 1995 +0200
@@ -66,7 +66,7 @@
   ve_dom :: "ValEnv => ExVar set"
   ve_app :: "[ValEnv, ExVar] => Val"
 
-  clos_mk :: "[ExVar, Ex, ValEnv] => Clos" ("<| _  , _ , _ |>" [0,0,0] 1000)
+  clos_mk :: "[ExVar, Ex, ValEnv] => Clos" ("<| _ , _ , _ |>" [0,0,0] 1000)
 
   te_emp :: "TyEnv"
   te_owr :: "[TyEnv, ExVar, Ty] => TyEnv" ("_ + { _ |=> _ }" [36,0,0] 50)
Old_HOL