| Fri, 11 Jul 2008 16:56:20 +0200 | huffman | instance real_field < field_char_0; | file | diff | annotate |
| Fri, 11 Jul 2008 09:03:25 +0200 | haftmann | re-removed subclass relation real_field < field_char_0: coregularity violation in NSA/HyperDef | file | diff | annotate |
| Thu, 10 Jul 2008 07:07:54 +0200 | huffman | instance real_field < field_char_0 | file | diff | annotate |
| Wed, 02 Jul 2008 19:35:43 +0200 | huffman | use begin and end for proofs in locales | file | diff | annotate |
| Wed, 02 Jul 2008 07:11:57 +0200 | haftmann | cleaned up some code generator configuration | file | diff | annotate |
| Fri, 07 Dec 2007 15:07:59 +0100 | haftmann | instantiation target rather than legacy instance | file | diff | annotate |
| Tue, 16 Oct 2007 23:12:45 +0200 | haftmann | global class syntax | file | diff | annotate |