| Sat, 01 Feb 2014 18:40:47 +0100 | wenzelm | unused; | changeset | files |
| 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 |
| Sat, 01 Feb 2014 18:00:28 +0100 | wenzelm | simplified sessions; | changeset | files |
| Sat, 01 Feb 2014 17:56:03 +0100 | wenzelm | misc tuning and modernization; | changeset | files |
| Sat, 01 Feb 2014 00:32:32 +0000 | paulson | version of Fermat's Theorem for type nat | changeset | files |