/src/CTT/
drwxr-xr-x [up]
drwxr-xr-x ex
-rw-r--r-- 1995-11-17 13:22 +0100 13702 Arith.ML
-rw-r--r-- 1995-11-17 13:22 +0100 798 Arith.thy
-rw-r--r-- 1995-11-17 13:22 +0100 1703 Bool.ML
-rw-r--r-- 1995-11-17 13:22 +0100 447 Bool.thy
-rw-r--r-- 1995-11-17 13:22 +0100 6399 CTT.ML
-rw-r--r-- 1995-11-17 13:22 +0100 7486 CTT.thy
-rw-r--r-- 1995-11-17 13:22 +0100 2391 Makefile
-rw-r--r-- 1995-11-17 13:22 +0100 748 README
-rw-r--r-- 1995-11-17 13:22 +0100 877 README.html
-rw-r--r-- 1995-11-17 13:22 +0100 615 ROOT.ML
-rw-r--r-- 1995-11-17 13:22 +0100 14692 arith.ML
-rw-r--r-- 1995-11-17 13:22 +0100 798 arith.thy
-rw-r--r-- 1995-11-17 13:22 +0100 2038 bool.ML
-rw-r--r-- 1995-11-17 13:22 +0100 447 bool.thy
-rw-r--r-- 1995-11-17 13:22 +0100 7928 ctt.ML
-rw-r--r-- 1995-11-17 13:22 +0100 7528 ctt.thy
-rw-r--r-- 1995-11-17 13:22 +0100 1203 rew.ML