Arthur C. Norman 7560dcb3a3 Some historical releases purely for archival purposes 13 anos atrás
..
README 7560dcb3a3 Some historical releases purely for archival purposes 13 anos atrás
geometry.bib 7560dcb3a3 Some historical releases purely for archival purposes 13 anos atrás
geometry.red 7560dcb3a3 Some historical releases purely for archival purposes 13 anos atrás
geometry.rlg 7560dcb3a3 Some historical releases purely for archival purposes 13 anos atrás
geometry.tex 7560dcb3a3 Some historical releases purely for archival purposes 13 anos atrás
geometry.tst 7560dcb3a3 Some historical releases purely for archival purposes 13 anos atrás
geoprover.html 7560dcb3a3 Some historical releases purely for archival purposes 13 anos atrás
geoprover.red 7560dcb3a3 Some historical releases purely for archival purposes 13 anos atrás
geoprover.rlg 7560dcb3a3 Some historical releases purely for archival purposes 13 anos atrás
geoprover.tst 7560dcb3a3 Some historical releases purely for archival purposes 13 anos atrás
geoprover_1_2.htm 7560dcb3a3 Some historical releases purely for archival purposes 13 anos atrás
supp.red 7560dcb3a3 Some historical releases purely for archival purposes 13 anos atrás

README

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