haftmann [Fri, 24 Apr 2009 18:01:39 +0200] rev 30974
removed confusion around funpow
haftmann [Fri, 24 Apr 2009 17:45:17 +0200] rev 30973
observe distinction between Pure/Tools and Tools more closely
haftmann [Fri, 24 Apr 2009 17:45:16 +0200] rev 30972
some experiements towards user interface for predicate compiler
haftmann [Fri, 24 Apr 2009 17:45:15 +0200] rev 30971
funpow and relpow with shared "^^" syntax
haftmann [Fri, 24 Apr 2009 08:24:54 +0200] rev 30970
generic postprocessing scheme for term evaluations
haftmann [Fri, 24 Apr 2009 08:24:52 +0200] rev 30969
added helpless comment
haftmann [Thu, 23 Apr 2009 12:17:51 +0200] rev 30968
adaptions due to rearrangment of power operation
haftmann [Thu, 23 Apr 2009 12:17:51 +0200] rev 30967
stripped $Id$
haftmann [Thu, 23 Apr 2009 12:17:50 +0200] rev 30966
avoid local [code]
haftmann [Wed, 22 Apr 2009 19:16:02 +0200] rev 30965
dropped duplication
haftmann [Wed, 22 Apr 2009 19:12:15 +0200] rev 30964
code_datatype and power
haftmann [Wed, 22 Apr 2009 19:09:25 +0200] rev 30963
tuned
haftmann [Wed, 22 Apr 2009 19:09:23 +0200] rev 30962
code_datatype antiquotation; tuned
haftmann [Wed, 22 Apr 2009 19:09:22 +0200] rev 30961
more localisation
haftmann [Wed, 22 Apr 2009 19:09:21 +0200] rev 30960
power operation defined generic
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 ^^
haftmann [Fri, 17 Apr 2009 15:57:26 +0200] rev 30949
separated funpow, relpow from power on monoids
haftmann [Fri, 17 Apr 2009 15:14:06 +0200] rev 30948
static compilation of enumeration type
haftmann [Fri, 17 Apr 2009 14:29:56 +0200] rev 30947
re-engineering of evaluation conversions
haftmann [Fri, 17 Apr 2009 14:29:55 +0200] rev 30946
tuned
haftmann [Fri, 17 Apr 2009 14:29:54 +0200] rev 30945
separate channel for Quickcheck evaluations