/src/HOL/Integ/
drwxr-xr-x [up]
-rw-r--r-- 2006-01-30 08:20 +0100 12198 IntArith.thy
-rw-r--r-- 2006-01-30 08:20 +0100 33547 IntDef.thy
-rw-r--r-- 2006-01-30 08:20 +0100 46249 IntDiv.thy
-rw-r--r-- 2006-01-30 08:20 +0100 943 IntDiv_setup.ML
-rw-r--r-- 2006-01-30 08:20 +0100 28672 NatBin.thy
-rw-r--r-- 2006-01-30 08:20 +0100 12553 NatSimprocs.thy
-rw-r--r-- 2006-01-30 08:20 +0100 16381 Numeral.thy
-rw-r--r-- 2006-01-30 08:20 +0100 13669 Parity.thy
-rw-r--r-- 2006-01-30 08:20 +0100 35600 Presburger.thy
-rw-r--r-- 2006-01-30 08:20 +0100 39777 cooper_dec.ML
-rw-r--r-- 2006-01-30 08:20 +0100 47365 cooper_proof.ML
-rw-r--r-- 2006-01-30 08:20 +0100 20913 int_arith1.ML
-rw-r--r-- 2006-01-30 08:20 +0100 11573 int_factor_simprocs.ML
-rw-r--r-- 2006-01-30 08:20 +0100 19141 nat_simprocs.ML
-rw-r--r-- 2006-01-30 08:20 +0100 14029 presburger.ML
-rw-r--r-- 2006-01-30 08:20 +0100 2053 qelim.ML
-rw-r--r-- 2006-01-30 08:20 +0100 4423 reflected_cooper.ML
-rw-r--r-- 2006-01-30 08:20 +0100 113884 reflected_presburger.ML