/src/ZF/Integ/
drwxr-xr-x [up]
-rw-r--r-- 2003-01-05 21:03 +0100 21169 Bin.thy
-rw-r--r-- 2003-01-05 21:03 +0100 8459 EquivClass.thy
-rw-r--r-- 2003-01-05 21:03 +0100 35619 Int.thy
-rw-r--r-- 2003-01-05 21:03 +0100 50 IntArith.thy
-rw-r--r-- 2003-01-05 21:03 +0100 65076 IntDiv.thy
-rw-r--r-- 2003-01-05 21:03 +0100 15265 int_arith.ML
-rw-r--r-- 2003-01-05 21:03 +0100 3857 twos_compl.ML