| Tue, 06 Jun 2006 14:55:56 +0200 | haftmann | fixed typo | file | diff | annotate |
| Tue, 16 May 2006 21:33:24 +0200 | wenzelm | const_syntax; | file | diff | annotate |
| Sun, 09 Apr 2006 18:51:11 +0200 | wenzelm | unfold(ed): not necessrily meta equations; | file | diff | annotate |
| Sat, 08 Apr 2006 22:51:06 +0200 | wenzelm | refined 'abbreviation'; | file | diff | annotate |
| Mon, 27 Feb 2006 12:20:21 +0100 | ballarin | Typo. | file | diff | annotate |
| Thu, 16 Feb 2006 18:25:54 +0100 | wenzelm | derived specifications: definition, abbreviation, axiomatization; | file | diff | annotate |