| Fri, 16 Feb 2007 22:13:15 +0100 | wenzelm | unified arity parser/arguments; | file | diff | annotate |
| Fri, 19 Jan 2007 22:08:28 +0100 | wenzelm | moved parts to spec_parse.ML; | file | diff | annotate |
| Fri, 15 Dec 2006 00:08:06 +0100 | wenzelm | avoid conflict with Alice keywords: renamed pack -> implode, unpack -> explode, any -> many, avoided assert; | file | diff | annotate |
| Thu, 30 Nov 2006 14:17:34 +0100 | wenzelm | added mixfix'; | file | diff | annotate |
| Tue, 21 Nov 2006 18:07:37 +0100 | wenzelm | notes: proper kind; | file | diff | annotate |
| Fri, 17 Nov 2006 02:19:51 +0100 | wenzelm | added where_; | file | diff | annotate |
| Tue, 14 Nov 2006 22:17:03 +0100 | wenzelm | added for_simple_fixes, specification; | file | diff | annotate |