/src/HOL/Integ/
drwxr-xr-x [up]
-rw-r--r-- 2004-09-07 11:42 +0200 11605 Equiv.thy
-rw-r--r-- 2004-09-07 11:42 +0200 11922 IntArith.thy
-rw-r--r-- 2004-09-07 11:42 +0200 32241 IntDef.thy
-rw-r--r-- 2004-09-07 11:42 +0200 44437 IntDiv.thy
-rw-r--r-- 2004-09-07 11:42 +0200 938 IntDiv_setup.ML
-rw-r--r-- 2004-09-07 11:42 +0200 29520 NatBin.thy
-rw-r--r-- 2004-09-07 11:42 +0200 8328 NatSimprocs.thy
-rw-r--r-- 2004-09-07 11:42 +0200 15949 Numeral.thy
-rw-r--r-- 2004-09-07 11:42 +0200 9554 Parity.thy
-rw-r--r-- 2004-09-07 11:42 +0200 32825 Presburger.thy
-rw-r--r-- 2004-09-07 11:42 +0200 39684 cooper_dec.ML
-rw-r--r-- 2004-09-07 11:42 +0200 48756 cooper_proof.ML
-rw-r--r-- 2004-09-07 11:42 +0200 20578 int_arith1.ML
-rw-r--r-- 2004-09-07 11:42 +0200 11171 int_factor_simprocs.ML
-rw-r--r-- 2004-09-07 11:42 +0200 18650 nat_simprocs.ML
-rw-r--r-- 2004-09-07 11:42 +0200 11535 presburger.ML
-rw-r--r-- 2004-09-07 11:42 +0200 2053 qelim.ML