/src/HOL/Integ/
drwxr-xr-x [up]
-rw-r--r-- 1998-12-07 18:26 +0100 13262 Bin.ML
-rw-r--r-- 1998-12-07 18:26 +0100 5478 Bin.thy
-rw-r--r-- 1998-12-07 18:26 +0100 8489 Equiv.ML
-rw-r--r-- 1998-12-07 18:26 +0100 1030 Equiv.thy
-rw-r--r-- 1998-12-07 18:26 +0100 6423 Int.ML
-rw-r--r-- 1998-12-07 18:26 +0100 419 Int.thy
-rw-r--r-- 1998-12-07 18:26 +0100 19691 IntDef.ML
-rw-r--r-- 1998-12-07 18:26 +0100 1311 IntDef.thy
-rw-r--r-- 1998-12-07 18:26 +0100 3064 Relation.ML
-rw-r--r-- 1998-12-07 18:26 +0100 853 Relation.thy
-rw-r--r-- 1998-12-07 18:26 +0100 1956 simproc.ML