src/Pure/Isar/outer_parse.ML
changeset 15714 9b8da47715c3
parent 15703 727ef1b8b3ee
child 15963 5b70f789e079
     1.1 --- a/src/Pure/Isar/outer_parse.ML	Wed Apr 13 18:46:52 2005 +0200
     1.2 +++ b/src/Pure/Isar/outer_parse.ML	Wed Apr 13 18:47:01 2005 +0200
     1.3 @@ -364,3 +364,4 @@
     1.4  
     1.5  
     1.6  end;
     1.7 +