| Mon, 02 Jun 2008 21:01:42 +0200 | wenzelm | renamed theory "intro" to "Introduction"; | changeset | files |
| Mon, 02 Jun 2008 13:21:06 +0200 | nipkow | tuned proofs | changeset | files |
| Sun, 01 Jun 2008 17:45:43 +0200 | dixon | fixed bug: maxidx was wrongly calculuated from term, now calculated | changeset | files |
| Sun, 01 Jun 2008 17:39:21 +0200 | urbanc | new example | changeset | files |