/src/HOL/Integ/
drwxr-xr-x [up]
-rw-r--r-- 1999-03-11 13:20 +0100 18437 Bin.ML
-rw-r--r-- 1999-03-11 13:20 +0100 5478 Bin.thy
-rw-r--r-- 1999-03-11 13:20 +0100 8489 Equiv.ML
-rw-r--r-- 1999-03-11 13:20 +0100 1030 Equiv.thy
-rw-r--r-- 1999-03-11 13:20 +0100 6423 Int.ML
-rw-r--r-- 1999-03-11 13:20 +0100 419 Int.thy
-rw-r--r-- 1999-03-11 13:20 +0100 19658 IntDef.ML
-rw-r--r-- 1999-03-11 13:20 +0100 1311 IntDef.thy
-rw-r--r-- 1999-03-11 13:20 +0100 3064 Relation.ML
-rw-r--r-- 1999-03-11 13:20 +0100 853 Relation.thy
-rw-r--r-- 1999-03-11 13:20 +0100 1956 simproc.ML