commented out sig constraint of functor (for debugging purposes);
authorwenzelm
Wed Jan 19 14:45:07 1994 +0100 (1994-01-19)
changeset 2428fe3e66abf0c
parent 241 a8ff0932d78a
child 243 c22b85994e17
commented out sig constraint of functor (for debugging purposes);
src/Pure/thm.ML
     1.1 --- a/src/Pure/thm.ML	Wed Jan 19 14:28:35 1994 +0100
     1.2 +++ b/src/Pure/thm.ML	Wed Jan 19 14:45:07 1994 +0100
     1.3 @@ -1,4 +1,4 @@
     1.4 -(*  Title: 	thm
     1.5 +(*  Title: 	Pure/thm.ML
     1.6      ID:         $Id$
     1.7      Author: 	Lawrence C Paulson, Cambridge University Computer Laboratory
     1.8      Copyright   1994  University of Cambridge
     1.9 @@ -106,7 +106,7 @@
    1.10  functor ThmFun (structure Logic: LOGIC and Unify: UNIFY and Pattern:PATTERN
    1.11                        and Net:NET
    1.12                  sharing type Pattern.type_sig = Unify.Sign.Type.type_sig)
    1.13 -        : THM =
    1.14 +        (*: THM *) (* FIXME debug *) =
    1.15  struct
    1.16  structure Sequence = Unify.Sequence;
    1.17  structure Envir = Unify.Envir;