Sat, 15 Sep 2012 20:14:29 +0200 | haftmann | typeclass formalising bounded subtraction | changeset | files |
Sat, 15 Sep 2012 20:13:25 +0200 | haftmann | dropped some unused identifiers | changeset | files |
Sat, 15 Sep 2012 16:09:53 +0200 | traytel | export rel_mono theorem | changeset | files |