author | wenzelm |
Thu, 07 Aug 2008 13:44:52 +0200 | |
changeset 27766 | 1ae745357856 |
parent 27765 | 5df443dd9deb |
child 27767 | b52c0c81dcf3 |
--- a/src/Pure/General/symbol.ML Thu Aug 07 13:44:47 2008 +0200 +++ b/src/Pure/General/symbol.ML Thu Aug 07 13:44:52 2008 +0200 @@ -21,6 +21,7 @@ val is_utf8_trailer: symbol -> bool val eof: symbol val is_eof: symbol -> bool + val not_eof: symbol -> bool val stopper: symbol Scan.stopper val sync: symbol val is_sync: symbol -> bool