| Fri, 25 Nov 1994 14:21:14 +0100 | wenzelm | adapted to 'subtype' section; | file | diff | annotate |
| Fri, 19 Aug 1994 11:02:45 +0200 | lcp | HOL/fun.ML: renamed Fun.ML to avoid problems with MLs "fun" keyword | file | diff | annotate |
| Thu, 18 Aug 1994 12:38:12 +0200 | lcp | HOL/Prod: swapped args of split and simplified | file | diff | annotate |
| Thu, 17 Mar 1994 17:02:49 +0100 | lcp | new type declaration syntax instead of numbers | file | diff | annotate |
| Thu, 17 Mar 1994 11:27:29 +0100 | clasohm | adapted type definition to new syntax | file | diff | annotate |
| Thu, 16 Sep 1993 12:21:07 +0200 | clasohm | Initial revision | file | diff | annotate |