| Fri, 02 Dec 1994 11:43:20 +0100 | nipkow | small updates because datatype list is now used. In particular Nil -> [] | file | diff | annotate |
| Thu, 18 Aug 1994 11:40:54 +0200 | lcp | HOL/Subst/AList: swapped args of split and simplified | file | diff | annotate |
| Thu, 16 Sep 1993 12:21:07 +0200 | clasohm | Initial revision | file | diff | annotate |