/src/HOL/Integ/
drwxr-xr-x [up]
-rw-r--r-- 2000-06-22 23:04 +0200 12597 Bin.ML
-rw-r--r-- 2000-06-22 23:04 +0200 3004 Bin.thy
-rw-r--r-- 2000-06-22 23:04 +0200 8523 Equiv.ML
-rw-r--r-- 2000-06-22 23:04 +0200 845 Equiv.thy
-rw-r--r-- 2000-06-22 23:04 +0200 15125 Int.ML
-rw-r--r-- 2000-06-22 23:04 +0200 480 Int.thy
-rw-r--r-- 2000-06-22 23:04 +0200 20203 IntArith.ML
-rw-r--r-- 2000-06-22 23:04 +0200 28 IntArith.thy
-rw-r--r-- 2000-06-22 23:04 +0200 19007 IntDef.ML
-rw-r--r-- 2000-06-22 23:04 +0200 1250 IntDef.thy
-rw-r--r-- 2000-06-22 23:04 +0200 31795 IntDiv.ML
-rw-r--r-- 2000-06-22 23:04 +0200 1920 IntDiv.thy
-rw-r--r-- 2000-06-22 23:04 +0200 17327 NatBin.ML
-rw-r--r-- 2000-06-22 23:04 +0200 442 NatBin.thy
-rw-r--r-- 2000-06-22 23:04 +0200 16704 NatSimprocs.ML
-rw-r--r-- 2000-06-22 23:04 +0200 33 NatSimprocs.thy
-rw-r--r-- 2000-06-22 23:04 +0200 3064 Relation.ML
-rw-r--r-- 2000-06-22 23:04 +0200 853 Relation.thy