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 |
Fri, 14 Sep 2012 22:23:11 +0200 | blanchet | merged two unfold steps | changeset | files |
Fri, 14 Sep 2012 22:23:11 +0200 | blanchet | took out one rotate_tac | changeset | files |
Fri, 14 Sep 2012 22:23:11 +0200 | blanchet | killed spurious rotate_tac; use auto instead of blast | changeset | files |