| Tue, 31 Jan 2006 18:19:32 +0100 | wenzelm | (un)fold: removed '(raw)' option; | changeset | files |
| Tue, 31 Jan 2006 18:19:31 +0100 | wenzelm | added consts_retricted; | changeset | files |
| Tue, 31 Jan 2006 18:19:30 +0100 | wenzelm | (un)fold: no raw flag; | changeset | files |
| Tue, 31 Jan 2006 18:19:29 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 31 Jan 2006 18:19:28 +0100 | wenzelm | tuned LocalTheory.pretty_consts; | changeset | files |
| Tue, 31 Jan 2006 18:19:27 +0100 | wenzelm | (un)folded: removed '(raw)' option; | changeset | files |
| Tue, 31 Jan 2006 18:19:26 +0100 | wenzelm | lambda: abstract over TYPE argument, too; | changeset | files |