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/isar_thy.ML
changeset 6650 808a3d9e2404
parent 6552 28553eba1913
child 6688 f33c89103fb4 
--- a/src/Pure/Isar/isar_thy.ML	Mon May 17 16:55:27 1999 +0200
+++ b/src/Pure/Isar/isar_thy.ML	Mon May 17 16:58:34 1999 +0200
@@ -331,7 +331,7 @@
   let
     val paths = map (apfst Path.unpack) files;
     val thy = ThyInfo.begin_theory name parents paths;
-  in Present.begin_theory name parents paths; thy end;
+  in Present.begin_theory name parents paths thy end;
 
 
 (* FIXME
isabelle