haftmann [Wed, 22 Apr 2009 19:09:19 +0200] rev 30959
fixed compilation of predicate types in ML environment
haftmann [Tue, 21 Apr 2009 15:48:02 +0200] rev 30958
merged
haftmann [Mon, 20 Apr 2009 16:28:13 +0200] rev 30957
merged
haftmann [Mon, 20 Apr 2009 15:24:57 +0200] rev 30956
empty page leads to results on duplex printers as expected
haftmann [Mon, 20 Apr 2009 09:52:16 +0200] rev 30955
changes in power operations
haftmann [Mon, 20 Apr 2009 09:32:40 +0200] rev 30954
power operation on functions in theory Nat; power operation on relations in theory Transitive_Closure
haftmann [Mon, 20 Apr 2009 09:32:09 +0200] rev 30953
yield is now a static ML function
haftmann [Mon, 20 Apr 2009 09:32:07 +0200] rev 30952
power operation on functions with syntax o^; power operation on relations with syntax ^^
haftmann [Fri, 17 Apr 2009 16:41:31 +0200] rev 30951
formal declaration of undefined parameters after class instantiation
haftmann [Fri, 17 Apr 2009 16:41:30 +0200] rev 30950
power operation on relations now with syntax ^^