/src/Provers/
drwxr-xr-x [up]
-rw-r--r-- 1996-02-16 17:24 +0100 651 README
-rw-r--r-- 1996-02-16 17:24 +0100 2186 astar.ML
-rw-r--r-- 1996-02-16 17:24 +0100 13794 classical.ML
-rw-r--r-- 1996-02-16 17:24 +0100 594 genelim.ML
-rw-r--r-- 1996-02-16 17:24 +0100 6637 hypsubst.ML
-rw-r--r-- 1996-02-16 17:24 +0100 1831 ind.ML
-rw-r--r-- 1996-02-16 17:24 +0100 22565 simp.ML
-rw-r--r-- 1996-02-16 17:24 +0100 5908 simplifier.ML
-rw-r--r-- 1996-02-16 17:24 +0100 4185 splitter.ML
-rw-r--r-- 1996-02-16 17:24 +0100 4403 typedsimp.ML