isabelle: Changelog

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;

wenzelm [Sun, 29 Jan 2006 19:23:41 +0100] rev 18834

default rule step: norm_hhf_tac;

wenzelm [Sun, 29 Jan 2006 19:23:40 +0100] rev 18833

tuned comment;

wenzelm [Sun, 29 Jan 2006 19:23:38 +0100] rev 18832

declare 'defn' rules;

wenzelm [Sat, 28 Jan 2006 17:29:49 +0100] rev 18831

LocalDefs;

wenzelm [Sat, 28 Jan 2006 17:29:06 +0100] rev 18830

Basic operations on local definitions.

wenzelm [Sat, 28 Jan 2006 17:29:04 +0100] rev 18829

removed unnecessary Syntax.fix_mixfix;

wenzelm [Sat, 28 Jan 2006 17:29:03 +0100] rev 18828

added axiomatization_loc, definition_loc; definition: let LocalDefs.derived_def do the actual work;

wenzelm [Sat, 28 Jan 2006 17:29:02 +0100] rev 18827

moved local defs to local_defs.ML;

isabelle