/src/HOL/Integ/
drwxr-xr-x [up]
-rw-r--r-- 2006-08-14 13:46 +0200 14633 IntArith.thy
-rw-r--r-- 2006-08-14 13:46 +0200 32941 IntDef.thy
-rw-r--r-- 2006-08-14 13:46 +0200 46397 IntDiv.thy
-rw-r--r-- 2006-08-14 13:46 +0200 945 IntDiv_setup.ML
-rw-r--r-- 2006-08-14 13:46 +0200 29250 NatBin.thy
-rw-r--r-- 2006-08-14 13:46 +0200 12553 NatSimprocs.thy
-rw-r--r-- 2006-08-14 13:46 +0200 15504 Numeral.thy
-rw-r--r-- 2006-08-14 13:46 +0200 13662 Parity.thy
-rw-r--r-- 2006-08-14 13:46 +0200 35538 Presburger.thy
-rw-r--r-- 2006-08-14 13:46 +0200 40310 cooper_dec.ML
-rw-r--r-- 2006-08-14 13:46 +0200 47814 cooper_proof.ML
-rw-r--r-- 2006-08-14 13:46 +0200 20918 int_arith1.ML
-rw-r--r-- 2006-08-14 13:46 +0200 11637 int_factor_simprocs.ML
-rw-r--r-- 2006-08-14 13:46 +0200 19458 nat_simprocs.ML
-rw-r--r-- 2006-08-14 13:46 +0200 14118 presburger.ML
-rw-r--r-- 2006-08-14 13:46 +0200 2049 qelim.ML
-rw-r--r-- 2006-08-14 13:46 +0200 4525 reflected_cooper.ML
-rw-r--r-- 2006-08-14 13:46 +0200 113884 reflected_presburger.ML