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.
ProtoPure.flexpair_def;
authorwenzelm
Fri, 24 Oct 1997 17:19:14 +0200
changeset 3999 86c5bda38e9f
parent 3998 6ec8d42082f1
child 4000 0614fdf0db20
ProtoPure.flexpair_def;
src/Pure/Thy/thm_database.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/thm_database.ML	Fri Oct 24 17:18:49 1997 +0200
+++ b/src/Pure/Thy/thm_database.ML	Fri Oct 24 17:19:14 1997 +0200
@@ -302,7 +302,7 @@
 
 (*Store result of proof in loaded_thys and as ML value*)
 
-val qed_thm = ref flexpair_def(*dummy*);
+val qed_thm = ref ProtoPure.flexpair_def(*dummy*);
 
 
 fun bind_thm (name, thm) =
isabelle