/src/Provers/
drwxr-xr-x [up]
-rw-r--r-- 1994-06-21 11:55 +0200 651 README
-rw-r--r-- 1994-06-21 11:55 +0200 6978 classical.ML
-rw-r--r-- 1994-06-21 11:55 +0200 588 genelim.ML
-rw-r--r-- 1994-06-21 11:55 +0200 3828 hypsubst.ML
-rw-r--r-- 1994-06-21 11:55 +0200 1831 ind.ML
-rw-r--r-- 1994-06-21 11:55 +0200 22621 simp.ML
-rw-r--r-- 1994-06-21 11:55 +0200 5055 simplifier.ML
-rw-r--r-- 1994-06-21 11:55 +0200 3976 splitter.ML
-rw-r--r-- 1994-06-21 11:55 +0200 4403 typedsimp.ML