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/goals.ML
changeset 922 196ca0973a6d
parent 914 cae574c09137
child 1219 b1a04399f530 
--- a/src/Pure/goals.ML	Thu Mar 02 12:07:20 1995 +0100
+++ b/src/Pure/goals.ML	Fri Mar 03 11:48:05 1995 +0100
@@ -100,7 +100,7 @@
     ref((fn _=> error"No goal has been supplied in subgoal module") 
        : bool*thm->thm);
 
-val dummy = trivial(read_cterm Sign.pure 
+val dummy = trivial(read_cterm Sign.proto_pure 
     ("PROP No_goal_has_been_supplied",propT));
 
 (*List of previous goal stacks, for the undo operation.  Set by setstate.
isabelle