| Mon, 14 May 2007 08:15:13 +0200 | huffman | cleaned up | file | diff | annotate |
| Fri, 16 Mar 2007 21:32:12 +0100 | haftmann | added lattice definitions | file | diff | annotate |
| Fri, 17 Nov 2006 02:20:03 +0100 | wenzelm | more robust syntax for definition/abbreviation/notation; | file | diff | annotate |
| Sat, 16 Sep 2006 19:12:03 +0200 | huffman | define new constant of_real for class real_algebra_1; | file | diff | annotate |
| Wed, 06 Sep 2006 13:48:02 +0200 | haftmann | got rid of Numeral.bin type | file | diff | annotate |
| Wed, 26 Jul 2006 19:23:04 +0200 | webertj | linear arithmetic splits certain operators (e.g. min, max, abs) | file | diff | annotate |
| Fri, 02 Jun 2006 23:22:29 +0200 | wenzelm | misc cleanup; | file | diff | annotate |