| 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 |
| Fri, 02 Sep 2005 09:50:58 +0200 | ballarin | print_locale omits facts by default | file | diff | annotate |
| Wed, 24 Aug 2005 12:07:00 +0200 | ballarin | Printing of interpretations: option to show witness theorems; | file | diff | annotate |
| Wed, 10 Aug 2005 15:29:56 +0200 | ballarin | New command: interpretation in locales. | file | diff | annotate |
| Wed, 01 Jun 2005 12:30:49 +0200 | ballarin | Locales: new element constrains, parameter renaming with syntax, | file | diff | annotate |
| Fri, 27 May 2005 16:24:48 +0200 | ballarin | Locale expressions: rename with optional mixfix syntax. | file | diff | annotate |