Mercurial Mercurial > repos > isabelle / 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.
commented out sig constraint of functor (for debugging purposes);
authorwenzelm
Mon, 10 Jan 1994 13:22:54 +0100
changeset 219 a2447b00517b
parent 218 be834b9a0c72
child 220 e50ea2471e06
commented out sig constraint of functor (for debugging purposes);
src/Pure/thm.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/thm.ML	Fri Jan 07 10:59:51 1994 +0100
+++ b/src/Pure/thm.ML	Mon Jan 10 13:22:54 1994 +0100
@@ -87,7 +87,7 @@
 functor ThmFun (structure Logic: LOGIC and Unify: UNIFY and Pattern:PATTERN
                       and Net:NET
                 sharing type Pattern.type_sig = Unify.Sign.Type.type_sig)
-        : THM = 
+        (*: THM*) = (* FIXME *)
 struct
 structure Sequence = Unify.Sequence;
 structure Envir = Unify.Envir;
isabelle