/src/Provers/
drwxr-xr-x [up]
drwxr-xr-x Arith
-rw-r--r-- 2008-08-15 16:08 +0200 1449 README
-rw-r--r-- 2008-08-15 16:08 +0200 54944 blast.ML
-rw-r--r-- 2008-08-15 16:08 +0200 11280 clasimp.ML
-rw-r--r-- 2008-08-15 16:08 +0200 40546 classical.ML
-rw-r--r-- 2008-08-15 16:08 +0200 21400 eqsubst.ML
-rw-r--r-- 2008-08-15 16:08 +0200 12010 hypsubst.ML
-rw-r--r-- 2008-08-15 16:08 +0200 57549 order.ML
-rw-r--r-- 2008-08-15 16:08 +0200 1616 project_rule.ML
-rw-r--r-- 2008-08-15 16:08 +0200 6270 quantifier1.ML
-rw-r--r-- 2008-08-15 16:08 +0200 26288 quasi.ML
-rw-r--r-- 2008-08-15 16:08 +0200 19168 splitter.ML
-rw-r--r-- 2008-08-15 16:08 +0200 21894 trancl.ML
-rw-r--r-- 2008-08-15 16:08 +0200 4400 typedsimp.ML