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 |