--- a/src/Pure/Isar/isar_cmd.ML Tue May 17 18:10:31 2005 +0200 +++ b/src/Pure/Isar/isar_cmd.ML Tue May 17 18:10:31 2005 +0200 @@ -377,4 +377,3 @@ end; end; -