| Wed, 21 Jun 1995 15:12:40 +0200 | clasohm | removed \...\ inside strings | file | diff | annotate |
| Fri, 02 Dec 1994 16:09:49 +0100 | nipkow | Moved HOL/List to HOL/ex/SList (strict list). | file | diff | annotate |
| Wed, 28 Sep 1994 12:39:32 +0100 | nipkow | moved LList* to ex | file | diff | annotate |