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.
Pure/Syntax/printer/is_prop: now calls fastype_of1
authorlcp
Thu, 21 Oct 1993 14:40:06 +0100
changeset 62 facfff975d1a
parent 61 f8c1922b78e3
child 63 b1349b598560
Pure/Syntax/printer/is_prop: now calls fastype_of1
src/Pure/Syntax/printer.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Syntax/printer.ML	Thu Oct 21 14:38:06 1993 +0100
+++ b/src/Pure/Syntax/printer.ML	Thu Oct 21 14:40:06 1993 +0100
@@ -62,7 +62,7 @@
     fun aprop t = Const (apropC, dummyT) $ t;
 
     fun is_prop tys tm =
-      fastype_of (tys, tm) = propT handle TERM _ => false;
+      fastype_of1 (tys, tm) = propT handle TERM _ => false;
 
     fun fix_aprop _ (tm as Const _) = tm
       | fix_aprop _ (tm as Free (x, ty)) =
isabelle