/src/HOL/Integ/
drwxr-xr-x [up]
-rw-r--r-- 2004-08-18 11:09 +0200 11270 Equiv.thy
-rw-r--r-- 2004-08-18 11:09 +0200 11922 IntArith.thy
-rw-r--r-- 2004-08-18 11:09 +0200 32281 IntDef.thy
-rw-r--r-- 2004-08-18 11:09 +0200 44437 IntDiv.thy
-rw-r--r-- 2004-08-18 11:09 +0200 938 IntDiv_setup.ML
-rw-r--r-- 2004-08-18 11:09 +0200 29520 NatBin.thy
-rw-r--r-- 2004-08-18 11:09 +0200 8328 NatSimprocs.thy
-rw-r--r-- 2004-08-18 11:09 +0200 15949 Numeral.thy
-rw-r--r-- 2004-08-18 11:09 +0200 9554 Parity.thy
-rw-r--r-- 2004-08-18 11:09 +0200 32825 Presburger.thy
-rw-r--r-- 2004-08-18 11:09 +0200 39538 cooper_dec.ML
-rw-r--r-- 2004-08-18 11:09 +0200 48295 cooper_proof.ML
-rw-r--r-- 2004-08-18 11:09 +0200 20545 int_arith1.ML
-rw-r--r-- 2004-08-18 11:09 +0200 11171 int_factor_simprocs.ML
-rw-r--r-- 2004-08-18 11:09 +0200 18650 nat_simprocs.ML
-rw-r--r-- 2004-08-18 11:09 +0200 11535 presburger.ML
-rw-r--r-- 2004-08-18 11:09 +0200 2053 qelim.ML