--- a/src/Provers/order.ML Thu Jul 08 16:19:23 2010 +0200
+++ b/src/Provers/order.ML Thu Jul 08 16:19:24 2010 +0200
@@ -1,4 +1,5 @@
-(* Author: Oliver Kutter, TU Muenchen
+(* Title: Provers/order.ML
+ Author: Oliver Kutter, TU Muenchen
Transitivity reasoner for partial and linear orders.
*)