/src/HOL/Integ/
drwxr-xr-x [up]
-rw-r--r-- 2002-02-28 17:46 +0100 15813 Bin.ML
-rw-r--r-- 2002-02-28 17:46 +0100 2714 Bin.thy
-rw-r--r-- 2002-02-28 17:46 +0100 8384 Equiv.ML
-rw-r--r-- 2002-02-28 17:46 +0100 770 Equiv.thy
-rw-r--r-- 2002-02-28 17:46 +0100 16527 Int.ML
-rw-r--r-- 2002-02-28 17:46 +0100 539 Int.thy
-rw-r--r-- 2002-02-28 17:46 +0100 5470 IntArith.ML
-rw-r--r-- 2002-02-28 17:46 +0100 200 IntArith.thy
-rw-r--r-- 2002-02-28 17:46 +0100 17713 IntDef.ML
-rw-r--r-- 2002-02-28 17:46 +0100 1321 IntDef.thy
-rw-r--r-- 2002-02-28 17:46 +0100 34613 IntDiv.ML
-rw-r--r-- 2002-02-28 17:46 +0100 1888 IntDiv.thy
-rw-r--r-- 2002-02-28 17:46 +0100 1393 IntPower.ML
-rw-r--r-- 2002-02-28 17:46 +0100 275 IntPower.thy
-rw-r--r-- 2002-02-28 17:46 +0100 2502 NatBin.thy
-rw-r--r-- 2002-02-28 17:46 +0100 5192 NatSimprocs.ML
-rw-r--r-- 2002-02-28 17:46 +0100 138 NatSimprocs.thy
-rw-r--r-- 2002-02-28 17:46 +0100 3064 Relation.ML
-rw-r--r-- 2002-02-28 17:46 +0100 853 Relation.thy
-rw-r--r-- 2002-02-28 17:46 +0100 17011 int_arith1.ML
-rw-r--r-- 2002-02-28 17:46 +0100 2433 int_arith2.ML
-rw-r--r-- 2002-02-28 17:46 +0100 6957 int_factor_simprocs.ML
-rw-r--r-- 2002-02-28 17:46 +0100 18364 nat_bin.ML
-rw-r--r-- 2002-02-28 17:46 +0100 21531 nat_simprocs.ML