--- 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; -