| Fri, 23 Sep 2005 22:21:52 +0200 | wenzelm | adm_tac/cont_tacRs: proper simpset; | changeset | files |
| Fri, 23 Sep 2005 22:21:51 +0200 | wenzelm | Provers/Arith/fast_lin_arith.ML: Simplifier.inherit_bounds; | changeset | files |
| Fri, 23 Sep 2005 22:21:50 +0200 | wenzelm | tuned order of targets; | changeset | files |
| 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 |