changeset 23148 | ef3fa1386102 |
parent 22997 | d4f3b015b50b |
child 23230 | b70c8c2283c2 |
--- a/src/HOL/Tools/Presburger/presburger.ML Thu May 31 12:59:31 2007 +0200 +++ b/src/HOL/Tools/Presburger/presburger.ML Thu May 31 13:00:56 2007 +0200 @@ -1,4 +1,4 @@ -(* Title: HOL/Integ/presburger.ML +(* Title: HOL/Tools/Presburger/presburger.ML ID: $Id$ Author: Amine Chaieb and Stefan Berghofer, TU Muenchen