| Wed, 13 May 1998 12:19:01 +0200 | wenzelm | gen_attr: fixed order of evaluation; | file | diff | annotate |
| Wed, 29 Apr 1998 11:24:58 +0200 | wenzelm | added none: 'a -> 'a * 'b attribute list; | file | diff | annotate |
| Sat, 04 Apr 1998 14:27:11 +0200 | wenzelm | tuned fail; | file | diff | annotate |
| Sat, 04 Apr 1998 12:26:47 +0200 | wenzelm | type_error; | file | diff | annotate |
| Sat, 04 Apr 1998 11:43:39 +0200 | wenzelm | removed simple; | file | diff | annotate |
| Fri, 03 Apr 1998 14:35:39 +0200 | wenzelm | Theorem tags and attributes. | file | diff | annotate |