/src/HOL/Integ/
drwxr-xr-x [up]
-rw-r--r-- 2000-05-30 18:02 +0200 12372 Bin.ML
-rw-r--r-- 2000-05-30 18:02 +0200 3004 Bin.thy
-rw-r--r-- 2000-05-30 18:02 +0200 8523 Equiv.ML
-rw-r--r-- 2000-05-30 18:02 +0200 845 Equiv.thy
-rw-r--r-- 2000-05-30 18:02 +0200 15125 Int.ML
-rw-r--r-- 2000-05-30 18:02 +0200 480 Int.thy
-rw-r--r-- 2000-05-30 18:02 +0200 22019 IntArith.ML
-rw-r--r-- 2000-05-30 18:02 +0200 28 IntArith.thy
-rw-r--r-- 2000-05-30 18:02 +0200 18991 IntDef.ML
-rw-r--r-- 2000-05-30 18:02 +0200 1250 IntDef.thy
-rw-r--r-- 2000-05-30 18:02 +0200 31940 IntDiv.ML
-rw-r--r-- 2000-05-30 18:02 +0200 1920 IntDiv.thy
-rw-r--r-- 2000-05-30 18:02 +0200 17370 NatBin.ML
-rw-r--r-- 2000-05-30 18:02 +0200 442 NatBin.thy
-rw-r--r-- 2000-05-30 18:02 +0200 16704 NatSimprocs.ML
-rw-r--r-- 2000-05-30 18:02 +0200 33 NatSimprocs.thy
-rw-r--r-- 2000-05-30 18:02 +0200 3064 Relation.ML
-rw-r--r-- 2000-05-30 18:02 +0200 853 Relation.thy