| Fri, 16 May 2008 21:56:13 +0200 | wenzelm | * Method "cases", "induct", "coinduct": removed obsolete "(open)" option; | changeset | files |
| Fri, 16 May 2008 21:53:30 +0200 | wenzelm | removed obsolete option open; | changeset | files |
| Fri, 16 May 2008 21:53:29 +0200 | wenzelm | removed unused make_simple; | changeset | files |
| Fri, 16 May 2008 21:53:27 +0200 | wenzelm | removed obsolete case rule_context; | changeset | files |