| Wed, 02 Jan 2008 15:14:02 +0100 | haftmann | splitted class uminus from class minus | file | diff | annotate |
| Fri, 07 Dec 2007 15:07:59 +0100 | haftmann | instantiation target rather than legacy instance | file | diff | annotate |
| Thu, 29 Nov 2007 17:08:26 +0100 | haftmann | instance command as rudimentary class target | file | diff | annotate |
| Thu, 08 Nov 2007 20:08:00 +0100 | wenzelm | eliminated illegal schematic variables in where/of; | file | diff | annotate |
| Tue, 30 Oct 2007 08:45:54 +0100 | haftmann | continued localization | file | diff | annotate |
| Thu, 25 Oct 2007 19:27:50 +0200 | haftmann | various localizations | file | diff | annotate |
| Wed, 24 Oct 2007 07:19:53 +0200 | haftmann | dropped superfluous inlining rule | file | diff | annotate |
| Wed, 26 Sep 2007 20:27:55 +0200 | haftmann | moved Finite_Set before Datatype | file | diff | annotate |