| 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 |
| Fri, 11 Apr 2003 23:11:13 +0200 | webertj | Map.ML integrated into Map.thy | changeset | files |
| Wed, 09 Apr 2003 12:52:45 +0200 | paulson | tidying | changeset | files |
| Wed, 09 Apr 2003 12:51:49 +0200 | paulson | Removal of Summation theory | changeset | files |
| Tue, 08 Apr 2003 09:44:21 +0200 | berghofe | Fixed bug in adjustcoeffeq_wp. | changeset | files |