2008-06-10 | wenzelm | updated generated file; | changeset | files |
2008-06-10 | wenzelm | * Attributes cases, induct, coinduct support del option. | changeset | files |
2008-06-10 | wenzelm | added del attributes; | changeset | files |
2008-06-10 | wenzelm | back to original import order -- thanks to proper deletion of nat cases/induct rules from type_definition; | changeset | files |
Loading... |