| Thu, 28 Feb 2008 15:55:04 +0100 | wenzelm | Transitive_Closure: induct and cases rules now declare proper case_names; | changeset | files |
| Thu, 28 Feb 2008 15:54:37 +0100 | wenzelm | rtranclp_induct, tranclp_induct: added case_names; | changeset | files |
| Thu, 28 Feb 2008 14:04:29 +0100 | nipkow | tuned | changeset | files |