/src/HOL/Integ/
drwxr-xr-x [up]
-rw-r--r-- 2000-08-07 10:27 +0200 12784 Bin.ML
-rw-r--r-- 2000-08-07 10:27 +0200 2975 Bin.thy
-rw-r--r-- 2000-08-07 10:27 +0200 8385 Equiv.ML
-rw-r--r-- 2000-08-07 10:27 +0200 767 Equiv.thy
-rw-r--r-- 2000-08-07 10:27 +0200 15167 Int.ML
-rw-r--r-- 2000-08-07 10:27 +0200 539 Int.thy
-rw-r--r-- 2000-08-07 10:27 +0200 3433 IntArith.ML
-rw-r--r-- 2000-08-07 10:27 +0200 168 IntArith.thy
-rw-r--r-- 2000-08-07 10:27 +0200 17553 IntDef.ML
-rw-r--r-- 2000-08-07 10:27 +0200 1283 IntDef.thy
-rw-r--r-- 2000-08-07 10:27 +0200 32575 IntDiv.ML
-rw-r--r-- 2000-08-07 10:27 +0200 1920 IntDiv.thy
-rw-r--r-- 2000-08-07 10:27 +0200 826 IntPower.ML
-rw-r--r-- 2000-08-07 10:27 +0200 276 IntPower.thy
-rw-r--r-- 2000-08-07 10:27 +0200 17029 NatBin.ML
-rw-r--r-- 2000-08-07 10:27 +0200 444 NatBin.thy
-rw-r--r-- 2000-08-07 10:27 +0200 4157 NatSimprocs.ML
-rw-r--r-- 2000-08-07 10:27 +0200 85 NatSimprocs.thy
-rw-r--r-- 2000-08-07 10:27 +0200 3064 Relation.ML
-rw-r--r-- 2000-08-07 10:27 +0200 853 Relation.thy
-rw-r--r-- 2000-08-07 10:27 +0200 16044 int_arith1.ML
-rw-r--r-- 2000-08-07 10:27 +0200 2764 int_arith2.ML
-rw-r--r-- 2000-08-07 10:27 +0200 13359 nat_simprocs.ML