| Fri, 23 Sep 2005 22:21:49 +0200 | wenzelm | Provers/cancel_sums.ML: Simplifier.inherit_bounds; | changeset | files |
| Fri, 23 Sep 2005 21:02:13 +0200 | webertj | some typos in comments fixed | changeset | files |
| 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 |