/src/HOL/Tools/Presburger/
drwxr-xr-x [up]
-rw-r--r-- 2007-05-22 17:56 +0200 40803 cooper_dec.ML
-rw-r--r-- 2007-05-22 17:56 +0200 48848 cooper_proof.ML
-rw-r--r-- 2007-05-22 17:56 +0200 14891 presburger.ML
-rw-r--r-- 2007-05-22 17:56 +0200 3987 qelim.ML
-rw-r--r-- 2007-05-22 17:56 +0200 4680 reflected_cooper.ML
-rw-r--r-- 2007-05-22 17:56 +0200 113884 reflected_presburger.ML