src/Tools/WWW_Find/find_theorems.ML

--- a/src/Tools/WWW_Find/find_theorems.ML	Mon May 17 15:05:32 2010 +0200
+++ b/src/Tools/WWW_Find/find_theorems.ML	Mon May 17 15:11:25 2010 +0200
@@ -195,7 +195,7 @@
       query
       |> (fn s => s ^ ";")
       |> OuterSyntax.scan Position.start
-      |> filter OuterLex.is_proper
+      |> filter Token.is_proper
       |> Scan.error parse_query
       |> fst;