| 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 |