source: CGBLisp/latex-doc/prover.tex

Revision Log Mode:


Legend:

Added
Removed
Modified
Copied or renamed
Diff Rev Age Author Log Message
(delete) @1   17 years Marek Rychlik Moving sources into trunk
(add) @1   17 years Marek Rychlik First import of a version circa 1997.
Note: See TracRevisionLog for help on using the revision log.