/src/Provers/
drwxr-xr-x [up]
drwxr-xr-x Arith
-rw-r--r-- 2010-05-15 22:15 +0200 1087 README
-rw-r--r-- 2010-05-15 22:15 +0200 55255 blast.ML
-rw-r--r-- 2010-05-15 22:15 +0200 10019 clasimp.ML
-rw-r--r-- 2010-05-15 22:15 +0200 38629 classical.ML
-rw-r--r-- 2010-05-15 22:15 +0200 12037 hypsubst.ML
-rw-r--r-- 2010-05-15 22:15 +0200 59165 order.ML
-rw-r--r-- 2010-05-15 22:15 +0200 7083 quantifier1.ML
-rw-r--r-- 2010-05-15 22:15 +0200 26144 quasi.ML
-rw-r--r-- 2010-05-15 22:15 +0200 18026 splitter.ML
-rw-r--r-- 2010-05-15 22:15 +0200 22512 trancl.ML
-rw-r--r-- 2010-05-15 22:15 +0200 4481 typedsimp.ML