| Tue, 10 Jun 2008 23:45:53 +0200 | wenzelm | updated generated file; | changeset | files |
| Tue, 10 Jun 2008 23:45:51 +0200 | wenzelm | * Attributes cases, induct, coinduct support del option. | changeset | files |
| Tue, 10 Jun 2008 23:28:42 +0200 | wenzelm | added del attributes; | changeset | files |
| Tue, 10 Jun 2008 23:28:38 +0200 | wenzelm | back to original import order -- thanks to proper deletion of nat cases/induct rules from type_definition; | changeset | files |