--- a/src/Provers/preorder.ML Sat Sep 17 16:16:38 2022 +0200
+++ b/src/Provers/preorder.ML Sat Sep 17 16:50:39 2022 +0200
@@ -1,4 +1,4 @@
-(* Title: src/Provers/preorder.ML
+(* Title: Provers/preorder.ML
Author: Oliver Kutter, TU Muenchen
Reasoner for simple transitivity and quasi orders.