| Sun, 29 Jan 2006 19:23:51 +0100 | wenzelm | invent_fixes: merely enter body temporarily; | changeset | files |
| Sun, 29 Jan 2006 19:23:50 +0100 | wenzelm | 'unfolding': LocalDefs.unfold; | changeset | files |
| Sun, 29 Jan 2006 19:23:49 +0100 | wenzelm | moved treatment of object-logic equalities to local_defs.ML; | changeset | files |
| Sun, 29 Jan 2006 19:23:48 +0100 | wenzelm | method (un)folded: option '(raw)'; | changeset | files |