# HG changeset patch
# User wenzelm
# Date 1307537094 -7200
# Node ID 327b913644642b6426e4e6f39c267ea5fd6dd856
# Parent  ad4611809a294bbad80cf8f7c2ff92407e21f022
standardized header;

diff -r ad4611809a29 -r 327b91364464 src/Tools/WWW_Find/yxml_find_theorems.ML
--- 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