isabelle: Changelog

wenzelm [Sun, 29 Jan 2006 19:23:51 +0100] rev 18844

invent_fixes: merely enter body temporarily;

wenzelm [Sun, 29 Jan 2006 19:23:50 +0100] rev 18843

'unfolding': LocalDefs.unfold;

wenzelm [Sun, 29 Jan 2006 19:23:49 +0100] rev 18842

moved treatment of object-logic equalities to local_defs.ML;

wenzelm [Sun, 29 Jan 2006 19:23:48 +0100] rev 18841

method (un)folded: option '(raw)';

wenzelm [Sun, 29 Jan 2006 19:23:47 +0100] rev 18840

added attributes defn_add/del; added (un)fold operations (from object_logic.ML); tuned;

wenzelm [Sun, 29 Jan 2006 19:23:46 +0100] rev 18839

added 'defn' attribute; attribute (un)folded: option '(raw)';

wenzelm [Sun, 29 Jan 2006 19:23:45 +0100] rev 18838

proper order of trfuns;

wenzelm [Sun, 29 Jan 2006 19:23:44 +0100] rev 18837

CPure: Context.add_setup;

wenzelm [Sun, 29 Jan 2006 19:23:43 +0100] rev 18836

tuned proofs;

wenzelm [Sun, 29 Jan 2006 19:23:42 +0100] rev 18835

implicit setup;

isabelle