| Fri, 24 Jul 1998 14:53:23 +0200 | wenzelm | added internal; | file | diff | annotate |
| Wed, 10 Jun 1998 11:58:11 +0200 | wenzelm | moved attributes theory data to Isar/isar_thy.ML; | file | diff | annotate |
| Mon, 08 Jun 1998 15:58:56 +0200 | wenzelm | use type-safe theory data interface; | file | diff | annotate |
| Fri, 05 Jun 1998 14:28:08 +0200 | wenzelm | tuned setup; | file | diff | annotate |
| 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 |