| Fri, 24 Apr 2009 18:20:37 +0200 |
haftmann |
some jokes are just too bad to appear in a theory file
|
changeset |
files
|
| Fri, 24 Apr 2009 18:01:39 +0200 |
haftmann |
removed confusion around funpow
|
changeset |
files
|
| Fri, 24 Apr 2009 17:45:17 +0200 |
haftmann |
observe distinction between Pure/Tools and Tools more closely
|
changeset |
files
|
| Fri, 24 Apr 2009 17:45:16 +0200 |
haftmann |
some experiements towards user interface for predicate compiler
|
changeset |
files
|
| Fri, 24 Apr 2009 17:45:15 +0200 |
haftmann |
funpow and relpow with shared "^^" syntax
|
changeset |
files
|
| Fri, 24 Apr 2009 08:24:54 +0200 |
haftmann |
generic postprocessing scheme for term evaluations
|
changeset |
files
|
| Fri, 24 Apr 2009 08:24:52 +0200 |
haftmann |
added helpless comment
|
changeset |
files
|
| Thu, 23 Apr 2009 12:17:51 +0200 |
haftmann |
adaptions due to rearrangment of power operation
|
changeset |
files
|
| Thu, 23 Apr 2009 12:17:51 +0200 |
haftmann |
stripped $Id$
|
changeset |
files
|
| Thu, 23 Apr 2009 12:17:50 +0200 |
haftmann |
avoid local [code]
|
changeset |
files
|
| Wed, 22 Apr 2009 19:16:02 +0200 |
haftmann |
dropped duplication
|
changeset |
files
|
| Wed, 22 Apr 2009 19:12:15 +0200 |
haftmann |
code_datatype and power
|
changeset |
files
|
| Wed, 22 Apr 2009 19:09:25 +0200 |
haftmann |
tuned
|
changeset |
files
|
| Wed, 22 Apr 2009 19:09:23 +0200 |
haftmann |
code_datatype antiquotation; tuned
|
changeset |
files
|
| Wed, 22 Apr 2009 19:09:22 +0200 |
haftmann |
more localisation
|
changeset |
files
|
| Wed, 22 Apr 2009 19:09:21 +0200 |
haftmann |
power operation defined generic
|
changeset |
files
|
| Wed, 22 Apr 2009 19:09:19 +0200 |
haftmann |
fixed compilation of predicate types in ML environment
|
changeset |
files
|
| Tue, 21 Apr 2009 15:48:02 +0200 |
haftmann |
merged
|
changeset |
files
|
| Mon, 20 Apr 2009 16:28:13 +0200 |
haftmann |
merged
|
changeset |
files
|
| Mon, 20 Apr 2009 15:24:57 +0200 |
haftmann |
empty page leads to results on duplex printers as expected
|
changeset |
files
|
| Mon, 20 Apr 2009 09:52:16 +0200 |
haftmann |
changes in power operations
|
changeset |
files
|
| Mon, 20 Apr 2009 09:32:40 +0200 |
haftmann |
power operation on functions in theory Nat; power operation on relations in theory Transitive_Closure
|
changeset |
files
|
| Mon, 20 Apr 2009 09:32:09 +0200 |
haftmann |
yield is now a static ML function
|
changeset |
files
|
| Mon, 20 Apr 2009 09:32:07 +0200 |
haftmann |
power operation on functions with syntax o^; power operation on relations with syntax ^^
|
changeset |
files
|
| Fri, 17 Apr 2009 16:41:31 +0200 |
haftmann |
formal declaration of undefined parameters after class instantiation
|
changeset |
files
|
| Fri, 17 Apr 2009 16:41:30 +0200 |
haftmann |
power operation on relations now with syntax ^^
|
changeset |
files
|
| Fri, 17 Apr 2009 15:57:26 +0200 |
haftmann |
separated funpow, relpow from power on monoids
|
changeset |
files
|
| Fri, 17 Apr 2009 15:14:06 +0200 |
haftmann |
static compilation of enumeration type
|
changeset |
files
|
| Fri, 17 Apr 2009 14:29:56 +0200 |
haftmann |
re-engineering of evaluation conversions
|
changeset |
files
|
| Fri, 17 Apr 2009 14:29:55 +0200 |
haftmann |
tuned
|
changeset |
files
|