| Thu, 20 Sep 2007 16:37:28 +0200 | haftmann | code lemmas for cardinality | changeset | files |
| Thu, 20 Sep 2007 16:23:12 +0200 | berghofe | - eval_term no longer computes result during compile time | changeset | files |
| Thu, 20 Sep 2007 12:10:23 +0200 | obua | improved computing | changeset | files |
| Thu, 20 Sep 2007 12:09:09 +0200 | obua | changed lemmas | changeset | files |
| Wed, 19 Sep 2007 20:45:29 +0200 | wenzelm | ml_output: proper error instead of error_msg; | changeset | files |
| Wed, 19 Sep 2007 18:48:54 +0200 | webertj | comment added to explain a potential scheduling problem | changeset | files |