| Fri, 23 Sep 2005 20:13:54 +0200 | obua | 1) fixed bug in type_introduction: first stage uses different namespace than second stage | changeset | files |
| Fri, 23 Sep 2005 18:47:47 +0200 | wenzelm | removed doc/index.html from distribution (now produced by website); | changeset | files |
| Fri, 23 Sep 2005 17:06:23 +0200 | haftmann | mkdir -p for symlinks | changeset | files |
| Fri, 23 Sep 2005 16:05:42 +0200 | nipkow | rules -> iprover | changeset | files |
| Fri, 23 Sep 2005 16:05:10 +0200 | webertj | spaces inserted in header | changeset | files |
| Fri, 23 Sep 2005 16:01:45 +0200 | webertj | header (title/ID) added | changeset | files |
| Fri, 23 Sep 2005 15:45:12 +0200 | webertj | typo fixed: rufute -> refute | changeset | files |