summaryrefslogtreecommitdiff
path: root/tests/examplefiles/coq_RelationClasses
Commit message (Expand)AuthorAgeFilesLines
* Remove all files, redirect to GitHub.HEADmasterMatth?us G. Chajdas2019-11-101-447/+0
* Closes #734: support the Coq theorem prover.Georg Brandl2012-02-051-0/+447