/src/HOL/Integ/
drwxr-xr-x [up]
-rw-r--r-- 2006-12-18 08:21 +0100 13645 IntArith.thy
-rw-r--r-- 2006-12-18 08:21 +0100 33436 IntDef.thy
-rw-r--r-- 2006-12-18 08:21 +0100 46428 IntDiv.thy
-rw-r--r-- 2006-12-18 08:21 +0100 939 IntDiv_setup.ML
-rw-r--r-- 2006-12-18 08:21 +0100 30055 NatBin.thy
-rw-r--r-- 2006-12-18 08:21 +0100 12551 NatSimprocs.thy
-rw-r--r-- 2006-12-18 08:21 +0100 14821 Numeral.thy
-rw-r--r-- 2006-12-18 08:21 +0100 39504 Presburger.thy
-rw-r--r-- 2006-12-18 08:21 +0100 39943 cooper_dec.ML
-rw-r--r-- 2006-12-18 08:21 +0100 47818 cooper_proof.ML
-rw-r--r-- 2006-12-18 08:21 +0100 20612 int_arith1.ML
-rw-r--r-- 2006-12-18 08:21 +0100 11804 int_factor_simprocs.ML
-rw-r--r-- 2006-12-18 08:21 +0100 19254 nat_simprocs.ML
-rw-r--r-- 2006-12-18 08:21 +0100 14298 presburger.ML
-rw-r--r-- 2006-12-18 08:21 +0100 2049 qelim.ML
-rw-r--r-- 2006-12-18 08:21 +0100 4522 reflected_cooper.ML
-rw-r--r-- 2006-12-18 08:21 +0100 113884 reflected_presburger.ML