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
Tue, 04 Jan 1994 15:48:38 +0100
changeset 210 49497bdf573e
parent 209 feb8ff35810a
child 211 7ab45715c0a6
commented out sig constraint of functor (for debugging purposes);
src/Pure/drule.ML file | annotate | diff | comparison | revisions
src/Pure/logic.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/drule.ML	Tue Jan 04 10:09:33 1994 +0100
+++ b/src/Pure/drule.ML	Tue Jan 04 15:48:38 1994 +0100
@@ -71,7 +71,7 @@
   end
   end;
 
-functor DruleFun (structure Logic: LOGIC and Thm: THM) : DRULE = 
+functor DruleFun (structure Logic: LOGIC and Thm: THM)(* : DRULE *) = (* FIXME *)
 struct
 structure Thm = Thm;
 structure Sign = Thm.Sign;
--- a/src/Pure/logic.ML	Tue Jan 04 10:09:33 1994 +0100
+++ b/src/Pure/logic.ML	Tue Jan 04 15:48:38 1994 +0100
@@ -43,7 +43,7 @@
   val varify: term -> term  
   end;
 
-functor LogicFun (structure Unify: UNIFY and Net:NET) : LOGIC  = 
+functor LogicFun (structure Unify: UNIFY and Net:NET)(* : LOGIC *) =  (* FIXME *)
 struct
 structure Type = Unify.Sign.Type;
isabelle