| 2013-08-20 | wenzelm | proper context; | changeset | files |
| 2013-08-20 | krauss | merged | changeset | files |
| 2013-08-20 | krauss | renamed theory Mrec to Legacy_Mrec, no longer included by default | changeset | files |
| 2013-08-20 | krauss | replaced use of obsolete MREC by partial_function (heap) | changeset | files |
| 2013-08-17 | Christian Sternagel | more document antiquotations (for proper theorem names); | changeset | files |
| 2013-08-20 | traytel | moved derivation of strong coinduction to sugar | changeset | files |
| 2013-08-20 | traytel | simpler (forward) derivation of strong (up-to equality) coinduction properties | changeset | files |
| 2013-08-20 | traytel | don't derive unused low-level theorem | changeset | files |
| Loading... | |||