| Wed, 03 Aug 2005 14:47:57 +0200 | avigad | removed Lfp | changeset | files |
| Wed, 03 Aug 2005 14:47:51 +0200 | avigad | combined Lfp and Gfp to FixedPoint | changeset | files |
| Tue, 02 Aug 2005 21:29:06 +0200 | wenzelm | tuned ML_OPTIONS; | changeset | files |
| Tue, 02 Aug 2005 19:47:14 +0200 | wenzelm | export clear_ss; | changeset | files |
| Tue, 02 Aug 2005 19:47:13 +0200 | wenzelm | added unfold_tac (Simplifier.inherit_bounds); | changeset | files |
| Tue, 02 Aug 2005 19:47:12 +0200 | wenzelm | simprocs: Simplifier.inherit_bounds; | changeset | files |
| Tue, 02 Aug 2005 19:47:11 +0200 | wenzelm | tuned; | changeset | files |