/src/Provers/
drwxr-xr-x [up]
drwxr-xr-x Arith
-rw-r--r-- 2009-11-12 17:21 +0100 1087 README
-rw-r--r-- 2009-11-12 17:21 +0100 55313 blast.ML
-rw-r--r-- 2009-11-12 17:21 +0100 9992 clasimp.ML
-rw-r--r-- 2009-11-12 17:21 +0100 38615 classical.ML
-rw-r--r-- 2009-11-12 17:21 +0100 12036 hypsubst.ML
-rw-r--r-- 2009-11-12 17:21 +0100 59125 order.ML
-rw-r--r-- 2009-11-12 17:21 +0100 7094 quantifier1.ML
-rw-r--r-- 2009-11-12 17:21 +0100 26144 quasi.ML
-rw-r--r-- 2009-11-12 17:21 +0100 18063 splitter.ML
-rw-r--r-- 2009-11-12 17:21 +0100 22328 trancl.ML
-rw-r--r-- 2009-11-12 17:21 +0100 4453 typedsimp.ML