ballarin [Mon, 27 Oct 2008 16:14:51 +0100] rev 28691
Extension of interface: declarations_of.
haftmann [Fri, 24 Oct 2008 17:51:36 +0200] rev 28690
simplified user-defined class syntax
haftmann [Fri, 24 Oct 2008 17:51:35 +0200] rev 28689
more clever module names for code generation
haftmann [Fri, 24 Oct 2008 17:48:42 +0200] rev 28688
"fun" gained a more uniform status
haftmann [Fri, 24 Oct 2008 17:48:40 +0200] rev 28687
simplified syntax for class parameters
haftmann [Fri, 24 Oct 2008 17:48:39 +0200] rev 28686
tuned
haftmann [Fri, 24 Oct 2008 17:48:37 +0200] rev 28685
new classes "top" and "bot"
haftmann [Fri, 24 Oct 2008 17:48:36 +0200] rev 28684
tuned proof
haftmann [Fri, 24 Oct 2008 17:48:35 +0200] rev 28683
more clever module name aliasses for code generation
haftmann [Fri, 24 Oct 2008 17:48:34 +0200] rev 28682
"arbitrary" merely abbreviates undefined