/src/ZF/Integ/
drwxr-xr-x [up]
-rw-r--r-- 2000-08-02 16:07 +0200 6726 Bin.ML
-rw-r--r-- 2000-08-02 16:07 +0200 5284 Bin.thy
-rw-r--r-- 2000-08-02 16:07 +0200 8129 EquivClass.ML
-rw-r--r-- 2000-08-02 16:07 +0200 611 EquivClass.thy
-rw-r--r-- 2000-08-02 16:07 +0200 18606 Int.ML
-rw-r--r-- 2000-08-02 16:07 +0200 2175 Int.thy
-rw-r--r-- 2000-08-02 16:07 +0200 3857 twos_compl.ML