src/Pure/Isar/outer_parse.ML
changeset 15979 c81578ac2d31
parent 15963 5b70f789e079
child 16030 bbfb2f1378b3
     1.1 --- a/src/Pure/Isar/outer_parse.ML	Tue May 17 18:10:31 2005 +0200
     1.2 +++ b/src/Pure/Isar/outer_parse.ML	Tue May 17 18:10:31 2005 +0200
     1.3 @@ -365,4 +365,3 @@
     1.4  
     1.5  
     1.6  end;
     1.7 -