/src/HOL/Integ/
drwxr-xr-x [up]
-rw-r--r-- 2005-06-28 15:27 +0200 12148 IntArith.thy
-rw-r--r-- 2005-06-28 15:27 +0200 30061 IntDef.thy
-rw-r--r-- 2005-06-28 15:27 +0200 45127 IntDiv.thy
-rw-r--r-- 2005-06-28 15:27 +0200 938 IntDiv_setup.ML
-rw-r--r-- 2005-06-28 15:27 +0200 30037 NatBin.thy
-rw-r--r-- 2005-06-28 15:27 +0200 12392 NatSimprocs.thy
-rw-r--r-- 2005-06-28 15:27 +0200 16381 Numeral.thy
-rw-r--r-- 2005-06-28 15:27 +0200 9361 Parity.thy
-rw-r--r-- 2005-06-28 15:27 +0200 32824 Presburger.thy
-rw-r--r-- 2005-06-28 15:27 +0200 40558 cooper_dec.ML
-rw-r--r-- 2005-06-28 15:27 +0200 48763 cooper_proof.ML
-rw-r--r-- 2005-06-28 15:27 +0200 20511 int_arith1.ML
-rw-r--r-- 2005-06-28 15:27 +0200 11245 int_factor_simprocs.ML
-rw-r--r-- 2005-06-28 15:27 +0200 18731 nat_simprocs.ML
-rw-r--r-- 2005-06-28 15:27 +0200 11659 presburger.ML
-rw-r--r-- 2005-06-28 15:27 +0200 2053 qelim.ML