--- a/src/Pure/Isar/isar_cmd.ML Wed Apr 13 18:46:22 2005 +0200 +++ b/src/Pure/Isar/isar_cmd.ML Wed Apr 13 18:46:30 2005 +0200 @@ -364,3 +364,4 @@ end; end; +