| 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
|
| Fri, 17 Apr 2009 14:29:54 +0200 |
haftmann |
separate channel for Quickcheck evaluations
|
changeset |
files
|
| Fri, 17 Apr 2009 08:36:18 +0200 |
haftmann |
merged
|
changeset |
files
|
| Fri, 17 Apr 2009 08:35:23 +0200 |
haftmann |
zmod_zmult_zmult1 now subsumed by mod_mult_mult1
|
changeset |
files
|
| Fri, 17 Apr 2009 08:34:54 +0200 |
haftmann |
diagnostic commands now in code_thingol; tuned code of funny continuations
|
changeset |
files
|
| Fri, 17 Apr 2009 08:34:53 +0200 |
haftmann |
simplified code
|
changeset |
files
|