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