/src/HOL/Integ/
drwxr-xr-x [up]
-rw-r--r-- 2005-03-07 19:30 +0100 12029 IntArith.thy
-rw-r--r-- 2005-03-07 19:30 +0100 29935 IntDef.thy
-rw-r--r-- 2005-03-07 19:30 +0100 44808 IntDiv.thy
-rw-r--r-- 2005-03-07 19:30 +0100 938 IntDiv_setup.ML
-rw-r--r-- 2005-03-07 19:30 +0100 29844 NatBin.thy
-rw-r--r-- 2005-03-07 19:30 +0100 12393 NatSimprocs.thy
-rw-r--r-- 2005-03-07 19:30 +0100 15949 Numeral.thy
-rw-r--r-- 2005-03-07 19:30 +0100 9538 Parity.thy
-rw-r--r-- 2005-03-07 19:30 +0100 32825 Presburger.thy
-rw-r--r-- 2005-03-07 19:30 +0100 40075 cooper_dec.ML
-rw-r--r-- 2005-03-07 19:30 +0100 48756 cooper_proof.ML
-rw-r--r-- 2005-03-07 19:30 +0100 20578 int_arith1.ML
-rw-r--r-- 2005-03-07 19:30 +0100 11245 int_factor_simprocs.ML
-rw-r--r-- 2005-03-07 19:30 +0100 18735 nat_simprocs.ML
-rw-r--r-- 2005-03-07 19:30 +0100 11574 presburger.ML
-rw-r--r-- 2005-03-07 19:30 +0100 2053 qelim.ML