/src/HOL/Integ/
drwxr-xr-x [up]
-rw-r--r-- 2001-01-31 10:15 +0100 12997 Bin.ML
-rw-r--r-- 2001-01-31 10:15 +0100 2975 Bin.thy
-rw-r--r-- 2001-01-31 10:15 +0100 8384 Equiv.ML
-rw-r--r-- 2001-01-31 10:15 +0100 767 Equiv.thy
-rw-r--r-- 2001-01-31 10:15 +0100 14710 Int.ML
-rw-r--r-- 2001-01-31 10:15 +0100 539 Int.thy
-rw-r--r-- 2001-01-31 10:15 +0100 5246 IntArith.ML
-rw-r--r-- 2001-01-31 10:15 +0100 167 IntArith.thy
-rw-r--r-- 2001-01-31 10:15 +0100 16935 IntDef.ML
-rw-r--r-- 2001-01-31 10:15 +0100 1286 IntDef.thy
-rw-r--r-- 2001-01-31 10:15 +0100 34371 IntDiv.ML
-rw-r--r-- 2001-01-31 10:15 +0100 1920 IntDiv.thy
-rw-r--r-- 2001-01-31 10:15 +0100 826 IntPower.ML
-rw-r--r-- 2001-01-31 10:15 +0100 276 IntPower.thy
-rw-r--r-- 2001-01-31 10:15 +0100 517 NatBin.thy
-rw-r--r-- 2001-01-31 10:15 +0100 5043 NatSimprocs.ML
-rw-r--r-- 2001-01-31 10:15 +0100 138 NatSimprocs.thy
-rw-r--r-- 2001-01-31 10:15 +0100 3064 Relation.ML
-rw-r--r-- 2001-01-31 10:15 +0100 853 Relation.thy
-rw-r--r-- 2001-01-31 10:15 +0100 16821 int_arith1.ML
-rw-r--r-- 2001-01-31 10:15 +0100 3071 int_arith2.ML
-rw-r--r-- 2001-01-31 10:15 +0100 6825 int_factor_simprocs.ML
-rw-r--r-- 2001-01-31 10:15 +0100 17834 nat_bin.ML
-rw-r--r-- 2001-01-31 10:15 +0100 20342 nat_simprocs.ML