Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Syntax/printer.ML
changeset 62 facfff975d1a
parent 47 0af9dbb93529
child 237 a7d3e712767a 
--- 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