src/Pure/Tools/find_theorems.ML
changeset 63429 baedd4724f08
parent 63080 8326aa594273
child 64556 851ae0e7b09c
     1.1 --- a/src/Pure/Tools/find_theorems.ML	Fri Jul 08 22:22:51 2016 +0200
     1.2 +++ b/src/Pure/Tools/find_theorems.ML	Sun Jul 10 11:18:35 2016 +0200
     1.3 @@ -521,7 +521,8 @@
     1.4    Parse.reserved "simp" |-- Parse.!!! (Parse.$$$ ":" |-- Parse.term) >> Simp ||
     1.5    Parse.term >> Pattern;
     1.6  
     1.7 -val query_keywords = Keyword.add_keywords [((":", @{here}), NONE)] Keyword.empty_keywords;
     1.8 +val query_keywords =
     1.9 +  Keyword.add_keywords [((":", @{here}), Keyword.no_spec)] Keyword.empty_keywords;
    1.10  
    1.11  in
    1.12