src/Pure/Isar/parse_spec.ML
changeset 56945 3d1ead21a055
parent 56201 dd2df97b379b
child 58011 bc6bced136e5
--- a/src/Pure/Isar/parse_spec.ML	Tue May 13 10:15:50 2014 +0200
+++ b/src/Pure/Isar/parse_spec.ML	Tue May 13 11:10:22 2014 +0200
@@ -158,4 +158,3 @@
 val statement_keyword = Parse.$$$ "obtains" || Parse.$$$ "shows";
 
 end;
-