isabelle: Changelog

wenzelm [Sat, 25 Mar 2000 18:01:27 +0100] rev 8578

tuned;

wenzelm [Sat, 25 Mar 2000 17:59:52 +0100] rev 8577

improved (anti)quote_tr(');

wenzelm [Sat, 25 Mar 2000 13:00:44 +0100] rev 8576

addsimprocs [record_simproc];

wenzelm [Sat, 25 Mar 2000 12:59:31 +0100] rev 8575

tuned antiquote_tr';

wenzelm [Sat, 25 Mar 2000 12:52:06 +0100] rev 8574

export updateN;

wenzelm [Fri, 24 Mar 2000 21:15:56 +0100] rev 8573

use abstract syntax; 'hoare' method;

wenzelm [Fri, 24 Mar 2000 21:09:34 +0100] rev 8572

plain ASCII;

wenzelm [Fri, 24 Mar 2000 20:59:15 +0100] rev 8571

arith method: HEADGOAL;

wenzelm [Fri, 24 Mar 2000 17:29:51 +0100] rev 8570

HOL/ex/Multiquote;

wenzelm [Fri, 24 Mar 2000 17:28:03 +0100] rev 8569

added HOL/ex/Multiquote.thy;

isabelle