| Thu, 17 Mar 1994 11:27:29 +0100 | clasohm | adapted type definition to new syntax | file | diff | annotate |
| Mon, 25 Oct 1993 14:36:27 +0100 | wenzelm | added white-space; | file | diff | annotate |
| Thu, 07 Oct 1993 10:20:30 +0100 | lcp | added ~= for "not equals" and added ~: for "not in" | file | diff | annotate |
| Mon, 04 Oct 1993 15:43:54 +0100 | wenzelm | HOL/hol.thy | file | diff | annotate |
| Thu, 16 Sep 1993 12:21:07 +0200 | clasohm | Initial revision | file | diff | annotate |