/src/Provers/
drwxr-xr-x [up]
drwxr-xr-x Arith
-rw-r--r-- 2008-03-24 23:34 +0100 1449 README
-rw-r--r-- 2008-03-24 23:34 +0100 54896 blast.ML
-rw-r--r-- 2008-03-24 23:34 +0100 11641 clasimp.ML
-rw-r--r-- 2008-03-24 23:34 +0100 41467 classical.ML
-rw-r--r-- 2008-03-24 23:34 +0100 21416 eqsubst.ML
-rw-r--r-- 2008-03-24 23:34 +0100 9324 hypsubst.ML
-rw-r--r-- 2008-03-24 23:34 +0100 57416 order.ML
-rw-r--r-- 2008-03-24 23:34 +0100 1616 project_rule.ML
-rw-r--r-- 2008-03-24 23:34 +0100 6270 quantifier1.ML
-rw-r--r-- 2008-03-24 23:34 +0100 26288 quasi.ML
-rw-r--r-- 2008-03-24 23:34 +0100 19153 splitter.ML
-rw-r--r-- 2008-03-24 23:34 +0100 21756 trancl.ML
-rw-r--r-- 2008-03-24 23:34 +0100 4400 typedsimp.ML