src/Provers/trancl.ML
changeset 37744 3daaf23b9ab4
parent 36692 54b64d4ad524
child 42361 23f352990944
     1.1 --- a/src/Provers/trancl.ML	Thu Jul 08 16:19:23 2010 +0200
     1.2 +++ b/src/Provers/trancl.ML	Thu Jul 08 16:19:24 2010 +0200
     1.3 @@ -1,6 +1,7 @@
     1.4 -(*
     1.5 -    Title:      Transitivity reasoner for transitive closures of relations
     1.6 +(*  Title:      Provers/trancl.ML
     1.7      Author:     Oliver Kutter, TU Muenchen
     1.8 +
     1.9 +Transitivity reasoner for transitive closures of relations
    1.10  *)
    1.11  
    1.12  (*