| Wed, 18 Aug 1999 18:44:20 +0200 | paulson | from Konrad: support for schematic definitions | file | diff | annotate |
| Mon, 28 Jun 1999 21:48:36 +0200 | wenzelm | cond_extern_table; | file | diff | annotate |
| Tue, 25 May 1999 20:24:10 +0200 | wenzelm | formal comments (still dummy); | file | diff | annotate |
| Mon, 24 May 1999 21:57:13 +0200 | wenzelm | outer syntax keyword classification; | file | diff | annotate |
| Tue, 04 May 1999 16:18:16 +0200 | wenzelm | add_recdef: removed names / attributes; | file | diff | annotate |
| Fri, 30 Apr 1999 18:10:35 +0200 | wenzelm | peoper defer_recdef interface; | file | diff | annotate |
| Tue, 27 Apr 1999 10:50:08 +0200 | wenzelm | proper quiet_mode; | file | diff | annotate |
| Thu, 22 Apr 1999 12:50:39 +0200 | wenzelm | add_recdef: actual simpset; | file | diff | annotate |
| Tue, 20 Apr 1999 15:20:27 +0200 | wenzelm | temporarily fake quiet_mode; | file | diff | annotate |
| Fri, 16 Apr 1999 14:49:09 +0200 | wenzelm | 'HOL/recdef' theory data; | file | diff | annotate |
| Wed, 14 Apr 1999 19:05:10 +0200 | wenzelm | Wrapper module for Konrad Slind's TFL package. | file | diff | annotate |