| Mon, 13 Jan 2014 13:24:09 +0100 | blanchet | repaired 'ctr' tactic w.r.t. 'split' | changeset | files |
| Mon, 13 Jan 2014 07:33:51 +0100 | nipkow | tuned | changeset | files |
| Sun, 12 Jan 2014 18:42:06 +0100 | wenzelm | merged | changeset | files |
| Sun, 12 Jan 2014 18:40:49 +0100 | wenzelm | NEWS; | changeset | files |
| Sun, 12 Jan 2014 18:34:00 +0100 | wenzelm | proper context for clear_simpset: preserve dounds, depth; | changeset | files |
| Sun, 12 Jan 2014 16:42:02 +0100 | wenzelm | clarified context; | changeset | files |
| Sun, 12 Jan 2014 14:32:22 +0100 | wenzelm | tuned signature; | changeset | files |