| Tue, 20 Aug 2013 20:29:38 +0200 | wenzelm | proper context; | changeset | files |
| Tue, 20 Aug 2013 22:24:02 +0200 | krauss | merged | changeset | files |
| Tue, 20 Aug 2013 11:39:53 +0200 | krauss | renamed theory Mrec to Legacy_Mrec, no longer included by default | changeset | files |
| Tue, 20 Aug 2013 11:21:49 +0200 | krauss | replaced use of obsolete MREC by partial_function (heap) | changeset | files |
| Sat, 17 Aug 2013 14:44:48 +0900 | Christian Sternagel | more document antiquotations (for proper theorem names); | changeset | files |
| Tue, 20 Aug 2013 17:39:08 +0200 | traytel | moved derivation of strong coinduction to sugar | changeset | files |
| Tue, 20 Aug 2013 17:39:07 +0200 | traytel | simpler (forward) derivation of strong (up-to equality) coinduction properties | changeset | files |
| Tue, 20 Aug 2013 16:10:58 +0200 | traytel | don't derive unused low-level theorem | changeset | files |