/src/HOL/Integ/
drwxr-xr-x [up]
-rw-r--r-- 2006-11-24 13:44 +0100 13912 IntArith.thy
-rw-r--r-- 2006-11-24 13:44 +0100 33496 IntDef.thy
-rw-r--r-- 2006-11-24 13:44 +0100 46428 IntDiv.thy
-rw-r--r-- 2006-11-24 13:44 +0100 939 IntDiv_setup.ML
-rw-r--r-- 2006-11-24 13:44 +0100 30055 NatBin.thy
-rw-r--r-- 2006-11-24 13:44 +0100 12551 NatSimprocs.thy
-rw-r--r-- 2006-11-24 13:44 +0100 14805 Numeral.thy
-rw-r--r-- 2006-11-24 13:44 +0100 39504 Presburger.thy
-rw-r--r-- 2006-11-24 13:44 +0100 40236 cooper_dec.ML
-rw-r--r-- 2006-11-24 13:44 +0100 47850 cooper_proof.ML
-rw-r--r-- 2006-11-24 13:44 +0100 20954 int_arith1.ML
-rw-r--r-- 2006-11-24 13:44 +0100 11804 int_factor_simprocs.ML
-rw-r--r-- 2006-11-24 13:44 +0100 19614 nat_simprocs.ML
-rw-r--r-- 2006-11-24 13:44 +0100 14024 presburger.ML
-rw-r--r-- 2006-11-24 13:44 +0100 2049 qelim.ML
-rw-r--r-- 2006-11-24 13:44 +0100 4521 reflected_cooper.ML
-rw-r--r-- 2006-11-24 13:44 +0100 113884 reflected_presburger.ML