| Mon, 04 Sep 2006 13:55:32 +0200 | haftmann | some corrections in class section | file | diff | annotate |
| Mon, 14 Aug 2006 13:46:05 +0200 | haftmann | added passage on class package | file | diff | annotate |
| Fri, 14 Jul 2006 12:18:33 +0200 | wenzelm | simp method: depth_limit; | file | diff | annotate |
| 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 |