--- a/src/Tools/WWW_Find/yxml_find_theorems.ML Wed Jun 08 13:45:01 2011 +0200
+++ b/src/Tools/WWW_Find/yxml_find_theorems.ML Wed Jun 08 14:44:54 2011 +0200
@@ -1,7 +1,7 @@
-(* Title: src/Pure/Tools/yxml_find_theorems.ML
+(* Title: Tools/WWW_Find/yxml_find_theorems.ML
Author: Sree Harsha Totakura, TUM
- Lars Noschinski, TUM
- Alexander Krauss, TUM
+ Author: Lars Noschinski, TUM
+ Author: Alexander Krauss, TUM
Simple find theorems web service with yxml interface for programmatic
invocation.
@@ -32,7 +32,7 @@
Facts.dest_static [] facts
|> filter_out (Facts.is_concealed facts o #1);
-fun init () =
+fun init () =
let
val all_facts =
maps Facts.selections