src/HOL/Presburger.thy
changeset 23148 ef3fa1386102
parent 23146 0bc590051d95
child 23164 69e55066dbca
     1.1 --- a/src/HOL/Presburger.thy	Thu May 31 12:59:31 2007 +0200
     1.2 +++ b/src/HOL/Presburger.thy	Thu May 31 13:00:56 2007 +0200
     1.3 @@ -1,4 +1,4 @@
     1.4 -(*  Title:      HOL/Integ/Presburger.thy
     1.5 +(*  Title:      HOL/Presburger.thy
     1.6      ID:         $Id$
     1.7      Author:     Amine Chaieb, Tobias Nipkow and Stefan Berghofer, TU Muenchen
     1.8