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.
restore replaces reinit
authorhaftmann
Fri, 14 Mar 2008 08:52:55 +0100
changeset 26269 5bb50f58a113
parent 26268 80aaf4d034be
child 26270 73ac6430f5e7
restore replaces reinit
src/Pure/Isar/instance.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/instance.ML	Fri Mar 14 08:52:53 2008 +0100
+++ b/src/Pure/Isar/instance.ML	Fri Mar 14 08:52:55 2008 +0100
@@ -54,7 +54,7 @@
     |> `(fn ctxt => map (mk_def ctxt) defs)
     |-> (fn defs => fold_map Specification.definition defs)
     |> snd
-    |> LocalTheory.reinit
+    |> LocalTheory.restore
     |> Class.instantiation_instance Class.conclude_instantiation
   else
     thy
isabelle