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.
removed debug stuff;
authorwenzelm
Fri, 14 Dec 2001 22:32:52 +0100
changeset 12514 4bdbc5a977f6
parent 12513 0ffb824dc95c
child 12515 3fb416265ba9
removed debug stuff;
src/Pure/Isar/locale.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/locale.ML	Fri Dec 14 22:30:54 2001 +0100
+++ b/src/Pure/Isar/locale.ML	Fri Dec 14 22:32:52 2001 +0100
@@ -486,7 +486,6 @@
     val (ctxt, elemss) = apsnd flat (foldl_map declare_element (import_ctxt, elements));
     val type_env = frozen_tvars ctxt (mapfilter (ProofContext.default_type ctxt o #1)
       (fixes_of_elemss import_elemss @ fixes_of_elemss elemss));
-    val FIXME = PolyML.print type_env;
 
     fun inst_elems ((name, ps), elems) = ((name, ps), elems);    (* FIXME *)
isabelle