changeset 31974 | e81979a703a4 |
parent 21539 | c5cf9243ad62 |
child 32449 | 696d64ed85da |
--- a/src/FOL/intprover.ML Thu Jul 09 22:04:10 2009 +0200 +++ b/src/FOL/intprover.ML Thu Jul 09 22:09:58 2009 +0200 @@ -1,5 +1,4 @@ -(* Title: FOL/int-prover - ID: $Id$ +(* Title: FOL/intprover.ML Author: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 1992 University of Cambridge