/src/Provers/
drwxr-xr-x [up]
drwxr-xr-x Arith
-rw-r--r-- 2009-02-28 13:54 +0100 1087 README
-rw-r--r-- 2009-02-28 13:54 +0100 54944 blast.ML
-rw-r--r-- 2009-02-28 13:54 +0100 11280 clasimp.ML
-rw-r--r-- 2009-02-28 13:54 +0100 40467 classical.ML
-rw-r--r-- 2009-02-28 13:54 +0100 8408 coherent.ML
-rw-r--r-- 2009-02-28 13:54 +0100 21353 eqsubst.ML
-rw-r--r-- 2009-02-28 13:54 +0100 12010 hypsubst.ML
-rw-r--r-- 2009-02-28 13:54 +0100 57526 order.ML
-rw-r--r-- 2009-02-28 13:54 +0100 1616 project_rule.ML
-rw-r--r-- 2009-02-28 13:54 +0100 6270 quantifier1.ML
-rw-r--r-- 2009-02-28 13:54 +0100 26262 quasi.ML
-rw-r--r-- 2009-02-28 13:54 +0100 19182 splitter.ML
-rw-r--r-- 2009-02-28 13:54 +0100 21894 trancl.ML
-rw-r--r-- 2009-02-28 13:54 +0100 4400 typedsimp.ML