/src/Provers/
drwxr-xr-x [up]
drwxr-xr-x Arith
-rw-r--r-- 2019-06-14 08:34 +0000 968 README
-rw-r--r-- 2019-06-14 08:34 +0000 55696 blast.ML
-rw-r--r-- 2019-06-14 08:34 +0000 7203 clasimp.ML
-rw-r--r-- 2019-06-14 08:34 +0000 38668 classical.ML
-rw-r--r-- 2019-06-14 08:34 +0000 12966 hypsubst.ML
-rw-r--r-- 2019-06-14 08:34 +0000 59320 order.ML
-rw-r--r-- 2019-06-14 08:34 +0000 26324 preorder.ML
-rw-r--r-- 2019-06-14 08:34 +0000 7837 quantifier1.ML
-rw-r--r-- 2019-06-14 08:34 +0000 18868 splitter.ML
-rw-r--r-- 2019-06-14 08:34 +0000 22499 trancl.ML
-rw-r--r-- 2019-06-14 08:34 +0000 4828 typedsimp.ML