src/Provers/trancl.ML

--- a/src/Provers/trancl.ML	Thu Jul 08 16:19:23 2010 +0200
+++ b/src/Provers/trancl.ML	Thu Jul 08 16:19:24 2010 +0200
@@ -1,6 +1,7 @@
-(*
-    Title:      Transitivity reasoner for transitive closures of relations
+(*  Title:      Provers/trancl.ML
     Author:     Oliver Kutter, TU Muenchen
+
+Transitivity reasoner for transitive closures of relations
 *)
 
 (*