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