| 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 |
| Wed, 14 May 2003 15:22:37 +0200 | kleing | use proof objects for HOL by default | changeset | files |
| Wed, 14 May 2003 14:20:55 +0200 | nipkow | eparation logic - a beginning. | changeset | files |
| Wed, 14 May 2003 11:15:18 +0200 | nipkow | *** empty log message *** | changeset | files |