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.
TheoryTarget.init_cmd;
authorwenzelm
Tue, 09 Oct 2007 17:11:20 +0200
changeset 24936 68a36883f0ad
parent 24935 a033971c63a0
child 24937 340523598914
TheoryTarget.init_cmd;
src/Pure/Isar/toplevel.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/toplevel.ML	Tue Oct 09 17:10:49 2007 +0200
+++ b/src/Pure/Isar/toplevel.ML	Tue Oct 09 17:11:20 2007 +0200
@@ -114,7 +114,7 @@
 
 type generic_theory = Context.generic;    (*theory or local_theory*)
 
-val loc_init = TheoryTarget.init;
+val loc_init = TheoryTarget.init_cmd;
 
 val loc_exit = ProofContext.theory_of o LocalTheory.exit;
isabelle