isabelle: Changelog

wenzelm [Wed, 10 Oct 2007 17:31:56 +0200] rev 24949

generalized notation interface (add or del);

wenzelm [Wed, 10 Oct 2007 17:31:55 +0200] rev 24948

tuned;

wenzelm [Wed, 10 Oct 2007 17:31:54 +0200] rev 24947

improved abs_def: only abstract over outermost (unique) Vars;

wenzelm [Wed, 10 Oct 2007 17:31:53 +0200] rev 24946

proper latex antiquotations instead of adhoc escapes;

wenzelm [Wed, 10 Oct 2007 17:31:52 +0200] rev 24945

updated;

wenzelm [Wed, 10 Oct 2007 16:29:11 +0200] rev 24944

added no_notation;

paulson [Wed, 10 Oct 2007 15:05:42 +0200] rev 24943

removed dead code

paulson [Wed, 10 Oct 2007 15:05:34 +0200] rev 24942

more metis proofs

ballarin [Wed, 10 Oct 2007 10:55:37 +0200] rev 24941

Prepare proper interface of interpretation_i, interpret_i.

paulson [Wed, 10 Oct 2007 10:50:11 +0200] rev 24940

getting rid of type typ_var

isabelle