| Fri, 29 Dec 2006 20:34:17 +0100 | haftmann | changed syntax for axclass attach | file | diff | annotate |
| Wed, 27 Dec 2006 19:09:53 +0100 | haftmann | moved code generator bool setup here | file | diff | annotate |
| Mon, 18 Dec 2006 08:21:25 +0100 | haftmann | new-style oracle setup | file | diff | annotate |
| Wed, 29 Nov 2006 15:44:46 +0100 | wenzelm | simplified method setup; | file | diff | annotate |
| Mon, 27 Nov 2006 13:42:33 +0100 | haftmann | removed HOL structure | file | diff | annotate |
| Wed, 22 Nov 2006 10:20:12 +0100 | haftmann | dropped eq const | file | diff | annotate |
| Fri, 17 Nov 2006 02:20:03 +0100 | wenzelm | more robust syntax for definition/abbreviation/notation; | file | diff | annotate |