1.1 --- a/test/Pure/Isar/Test_Parse_Term.thy	Thu Aug 12 14:59:58 2010 +0200
     1.2 +++ b/test/Pure/Isar/Test_Parse_Term.thy	Thu Aug 12 15:08:12 2010 +0200
     1.3 @@ -5,7 +5,7 @@
     1.4  theory Test_Parse_Term
     1.5  imports Main
     1.6  begin
     1.7 - 
     1.8 +
     1.9  section {* parse following Stefan Berghofer at Isabelle Developer Workshop 2010 *}
    1.10  ML {* 
    1.11  fun filtered_input str =