| Fri, 07 Nov 1997 18:02:15 +0100 | oheimb | changed libraray function find to find_index_eq, currying it | changeset | files |
| Fri, 07 Nov 1997 17:51:26 +0100 | oheimb | added contrapos | changeset | files |
| Fri, 07 Nov 1997 17:51:10 +0100 | oheimb | added contrapos2 | changeset | files |
| Fri, 07 Nov 1997 15:24:58 +0100 | oheimb | added exists_Const | changeset | files |
| Fri, 07 Nov 1997 08:25:02 +0100 | nipkow | Each datatype t now proves a theorem split_t_case_prem | changeset | files |
| Thu, 06 Nov 1997 16:44:35 +0100 | wenzelm | Perl no longer optional; | changeset | files |
| Thu, 06 Nov 1997 16:41:08 +0100 | wenzelm | deriv: eliminated references to theory; | changeset | files |
| Thu, 06 Nov 1997 16:40:45 +0100 | wenzelm | tuned; | changeset | files |