/src/HOL/Integ/
drwxr-xr-x [up]
-rw-r--r-- 2005-10-17 23:10 +0200 12198 IntArith.thy
-rw-r--r-- 2005-10-17 23:10 +0200 32222 IntDef.thy
-rw-r--r-- 2005-10-17 23:10 +0200 46178 IntDiv.thy
-rw-r--r-- 2005-10-17 23:10 +0200 943 IntDiv_setup.ML
-rw-r--r-- 2005-10-17 23:10 +0200 28676 NatBin.thy
-rw-r--r-- 2005-10-17 23:10 +0200 12533 NatSimprocs.thy
-rw-r--r-- 2005-10-17 23:10 +0200 16381 Numeral.thy
-rw-r--r-- 2005-10-17 23:10 +0200 13697 Parity.thy
-rw-r--r-- 2005-10-17 23:10 +0200 32959 Presburger.thy
-rw-r--r-- 2005-10-17 23:10 +0200 39777 cooper_dec.ML
-rw-r--r-- 2005-10-17 23:10 +0200 48787 cooper_proof.ML
-rw-r--r-- 2005-10-17 23:10 +0200 20704 int_arith1.ML
-rw-r--r-- 2005-10-17 23:10 +0200 11410 int_factor_simprocs.ML
-rw-r--r-- 2005-10-17 23:10 +0200 18963 nat_simprocs.ML
-rw-r--r-- 2005-10-17 23:10 +0200 11498 presburger.ML
-rw-r--r-- 2005-10-17 23:10 +0200 2053 qelim.ML
-rw-r--r-- 2005-10-17 23:10 +0200 4423 reflected_cooper.ML
-rw-r--r-- 2005-10-17 23:10 +0200 113884 reflected_presburger.ML