/src/HOL/Integ/
drwxr-xr-x [up]
-rw-r--r-- 1999-09-23 13:06 +0200 21908 Bin.ML
-rw-r--r-- 1999-09-23 13:06 +0200 3004 Bin.thy
-rw-r--r-- 1999-09-23 13:06 +0200 8531 Equiv.ML
-rw-r--r-- 1999-09-23 13:06 +0200 845 Equiv.thy
-rw-r--r-- 1999-09-23 13:06 +0200 13252 Int.ML
-rw-r--r-- 1999-09-23 13:06 +0200 419 Int.thy
-rw-r--r-- 1999-09-23 13:06 +0200 18815 IntDef.ML
-rw-r--r-- 1999-09-23 13:06 +0200 1214 IntDef.thy
-rw-r--r-- 1999-09-23 13:06 +0200 32919 IntDiv.ML
-rw-r--r-- 1999-09-23 13:06 +0200 1867 IntDiv.thy
-rw-r--r-- 1999-09-23 13:06 +0200 15225 NatBin.ML
-rw-r--r-- 1999-09-23 13:06 +0200 442 NatBin.thy
-rw-r--r-- 1999-09-23 13:06 +0200 3064 Relation.ML
-rw-r--r-- 1999-09-23 13:06 +0200 853 Relation.thy
-rw-r--r-- 1999-09-23 13:06 +0200 2805 bin_simprocs.ML
-rw-r--r-- 1999-09-23 13:06 +0200 1945 simproc.ML