/src/HOL/Tools/Presburger/
drwxr-xr-x [up]
-rw-r--r-- 2006-05-09 10:09 +0200 40282 cooper_dec.ML
-rw-r--r-- 2006-05-09 10:09 +0200 47927 cooper_proof.ML
-rw-r--r-- 2006-05-09 10:09 +0200 14105 presburger.ML
-rw-r--r-- 2006-05-09 10:09 +0200 2042 qelim.ML
-rw-r--r-- 2006-05-09 10:09 +0200 4531 reflected_cooper.ML
-rw-r--r-- 2006-05-09 10:09 +0200 113884 reflected_presburger.ML