aboutsummaryrefslogtreecommitdiffhomepage
path: root/hol98/README
Commit message (Expand)AuthorAge
* Added README files for each prover, summarizing status.Gravatar David Aspinall2000-03-09
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-07 21:06:03 +0000