--- a/src/Pure/Thy/thy_scan.ML Fri Oct 10 15:48:10 1997 +0200
+++ b/src/Pure/Thy/thy_scan.ML Fri Oct 10 15:48:43 1997 +0200
@@ -98,8 +98,6 @@
(** tokenize **)
-val scan_longid = scan_id ^^ (repeat1 ($$ "." ^^ scan_id) >> implode);
-
fun scan_word lex =
max_of
(scan_literal lex >> pair Keyword)