| Wed, 23 Nov 2005 18:51:59 +0100 | wenzelm | added case_conclusion attribute; | file | diff | annotate |
| Sat, 15 Oct 2005 00:08:13 +0200 | wenzelm | added guess; | file | diff | annotate |
| Tue, 06 Sep 2005 16:59:48 +0200 | wenzelm | axclass: name space prefix is now "c_class" instead of just "c"; | file | diff | annotate |