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.
renamed init_context to init;
authorwenzelm
Mon, 16 Nov 1998 10:46:06 +0100
changeset 5875 6aae55ae3473
parent 5874 a58d4528121d
child 5876 273056b673ec
renamed init_context to init;
src/Pure/Isar/proof.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/proof.ML	Mon Nov 16 10:45:52 1998 +0100
+++ b/src/Pure/Isar/proof.ML	Mon Nov 16 10:46:06 1998 +0100
@@ -137,7 +137,7 @@
   State (make_node (f (context, facts, mode, goal)), nodes);
 
 fun init_state thy =
-  State (make_node (ProofContext.init_context thy, None, Forward, None), []);
+  State (make_node (ProofContext.init thy, None, Forward, None), []);
isabelle