/src/Provers/
drwxr-xr-x [up]
drwxr-xr-x Arith
-rw-r--r-- 2009-10-29 23:56 +0100 1087 README
-rw-r--r-- 2009-10-29 23:56 +0100 55312 blast.ML
-rw-r--r-- 2009-10-29 23:56 +0100 9989 clasimp.ML
-rw-r--r-- 2009-10-29 23:56 +0100 38627 classical.ML
-rw-r--r-- 2009-10-29 23:56 +0100 12036 hypsubst.ML
-rw-r--r-- 2009-10-29 23:56 +0100 59125 order.ML
-rw-r--r-- 2009-10-29 23:56 +0100 7094 quantifier1.ML
-rw-r--r-- 2009-10-29 23:56 +0100 26144 quasi.ML
-rw-r--r-- 2009-10-29 23:56 +0100 18063 splitter.ML
-rw-r--r-- 2009-10-29 23:56 +0100 22328 trancl.ML
-rw-r--r-- 2009-10-29 23:56 +0100 4453 typedsimp.ML