aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/stm/Nijmegen_QArithSternBrocot_Zaux.v
Commit message (Expand)AuthorAge
* Updating test-suite after Bracketing Last Introduction Pattern set byGravatar Hugo Herbelin2015-11-10
* Remove some outdated files and fix permissions.Gravatar Guillaume Melquiond2015-07-31
* Regression test suite for STMGravatar gareuselesinge2013-10-03