- This directory contains the Reduce GeoProver Package sources.
- GeoProver.red - the main package
- GeoProver.tst - a test file (plain ASCII)
- supp.red - a supplement used in GeoProver.tst
- GeoProver.out - output of the test
- GeoProver.html - A help file in HTML
|
