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/Isar/local_theory.ML
changeset 22846 fb79144af9a3
parent 22240 36cc1875619f
child 24020 ed4d7abffee7 
--- a/src/Pure/Isar/local_theory.ML	Sun May 06 21:50:17 2007 +0200
+++ b/src/Pure/Isar/local_theory.ML	Mon May 07 00:49:59 2007 +0200
@@ -88,12 +88,9 @@
 
 structure Data = ProofDataFun
 (
-  val name = "Pure/local_theory";
   type T = lthy option;
   fun init _ = NONE;
-  fun print _ _ = ();
 );
-val _ = Context.add_setup Data.init;
 
 fun get_lthy lthy =
   (case Data.get lthy of
isabelle