| Fri, 09 Nov 2007 19:37:32 +0100 | wenzelm | fixed imports path; | changeset | files |
| Fri, 09 Nov 2007 19:37:30 +0100 | wenzelm | tuned proofs -- avoid open cases; | changeset | files |
| Fri, 09 Nov 2007 18:59:56 +0100 | krauss | function package: using the names of the equations as case names turned out to be impractical => disabled | changeset | files |
| Fri, 09 Nov 2007 13:41:27 +0100 | krauss | avoid name clashes when generating code for union, inter | changeset | files |