aboutsummaryrefslogtreecommitdiffhomepage
path: root/hol98/README
Commit message (Expand)AuthorAge
* Add specific install instrs, rearrange.Gravatar David Aspinall2001-09-03
* Fix name of HOL98.Gravatar David Aspinall2000-03-23
* Note about diff HOL versions.Gravatar David Aspinall2000-03-13
* New/updated information filesGravatar David Aspinall2000-03-13
* UpdatedGravatar David Aspinall2000-03-10
* Added README files for each prover, summarizing status.Gravatar David Aspinall2000-03-09