| changeset 20664 | ffbc5a57191a |
| parent 20313 | bf9101cc4385 |
| child 21774 | 3f9324ff06e3 |
--- a/src/Pure/Syntax/lexicon.ML Thu Sep 21 19:04:12 2006 +0200 +++ b/src/Pure/Syntax/lexicon.ML Thu Sep 21 19:04:20 2006 +0200 @@ -145,8 +145,7 @@ val tvarT = Type ("tvar", []); val terminals = ["id", "longid", "var", "tid", "tvar", "num", "xnum", "xstr"]; - -fun is_terminal s = s mem terminals; +val is_terminal = member (op =) terminals; (* str_of_token *)