| Wed, 23 Apr 2003 00:12:14 +0200 | berghofe | elim_cong now eta-expands proofs on the fly if required. | changeset | files |
| Wed, 23 Apr 2003 00:10:40 +0200 | berghofe | Eliminated most occurrences of rule_format attribute. | changeset | files |
| Wed, 16 Apr 2003 22:21:32 +0200 | nipkow | header | changeset | files |
| Wed, 16 Apr 2003 22:14:08 +0200 | nipkow | Added take/dropWhile thms | changeset | files |
| Tue, 15 Apr 2003 12:55:31 +0200 | kleing | fixed document | changeset | files |
| Mon, 14 Apr 2003 18:52:45 +0200 | nipkow | added thm"..." due to new Map.thy | changeset | files |
| Mon, 14 Apr 2003 18:52:13 +0200 | nipkow | Added thms | changeset | files |
| Mon, 14 Apr 2003 13:51:31 +0200 | webertj | Fixed non-escaped underscore in section headings (document generation should | changeset | files |