| Sat, 01 Feb 2014 18:22:38 +0100 | wenzelm | method_setup "lem"; | changeset | files |
| Sat, 01 Feb 2014 18:17:13 +0100 | wenzelm | lazy_pack is default context for ILL; | changeset | files |
| Sat, 01 Feb 2014 18:07:10 +0100 | wenzelm | unused; | changeset | files |
| Sat, 01 Feb 2014 18:05:03 +0100 | wenzelm | proper Simplifier method setup; | changeset | files |