/src/Provers/
drwxr-xr-x [up]
-rw-r--r-- 1993-09-16 12:20 +0200 497 README
-rw-r--r-- 1993-09-16 12:20 +0200 6934 classical.ML
-rw-r--r-- 1993-09-16 12:20 +0200 588 genelim.ML
-rw-r--r-- 1993-09-16 12:20 +0200 3833 hypsubst.ML
-rw-r--r-- 1993-09-16 12:20 +0200 1831 ind.ML
-rw-r--r-- 1993-09-16 12:20 +0200 22677 simp.ML
-rw-r--r-- 1993-09-16 12:20 +0200 4886 simplifier.ML
-rw-r--r-- 1993-09-16 12:20 +0200 3996 splitter.ML
-rw-r--r-- 1993-09-16 12:20 +0200 4403 typedsimp.ML