| Sat, 24 May 2003 19:52:53 +0200 | kleing | fixed | changeset | files |
| Fri, 23 May 2003 17:19:53 +0200 | kleing | make it possible to switch off proof objects for HOL image | changeset | files |
| Fri, 23 May 2003 17:18:10 +0200 | kleing | make it possible to switch off proof objects | changeset | files |
| Tue, 20 May 2003 11:52:42 +0200 | kleing | be less verbose about simplification depth | changeset | files |
| Sun, 18 May 2003 16:30:20 +0200 | kleing | fix typo | changeset | files |
| Sun, 18 May 2003 16:29:18 +0200 | kleing | attach log files | changeset | files |
| Sun, 18 May 2003 16:16:58 +0200 | kleing | more cleanup | changeset | files |
| Sun, 18 May 2003 16:15:01 +0200 | kleing | fix mime stuff | changeset | files |
| Sun, 18 May 2003 15:28:41 +0200 | kleing | attach log files | changeset | files |
| Sun, 18 May 2003 15:15:13 +0200 | kleing | support text file attachments | changeset | files |
| Fri, 16 May 2003 16:35:36 +0200 | webertj | Added a few lemmas about map_le | changeset | files |
| Thu, 15 May 2003 11:22:54 +0200 | kleing | give tests time to copy settings | changeset | files |
| Wed, 14 May 2003 20:36:29 +0200 | schirmer | Added Bali to test | changeset | files |
| Wed, 14 May 2003 20:29:18 +0200 | schirmer | Adapted to changes in Map.thy | changeset | files |