isabelle: Changelog

wenzelm [Tue, 15 Feb 2000 19:41:44 +0100] rev 8246

fixed sel_upd simproc (less efficient, but more complete);

kleing [Tue, 15 Feb 2000 17:51:11 +0100] rev 8245

lightweight bytecode verifier with correctness proof

wenzelm [Mon, 14 Feb 2000 20:49:08 +0100] rev 8244

basic source deps;

wenzelm [Mon, 14 Feb 2000 20:43:12 +0100] rev 8243

easy_setup: fixed mksimps;

wenzelm [Mon, 14 Feb 2000 20:42:02 +0100] rev 8242

proof step: reset goal_facts;

wenzelm [Mon, 14 Feb 2000 12:23:08 +0100] rev 8241

mkdir -p $ISABELLE_BROWSER_INFO;

wenzelm [Mon, 14 Feb 2000 11:23:57 +0100] rev 8240

fixed prefer;

wenzelm [Mon, 14 Feb 2000 11:23:44 +0100] rev 8239

tuned msg;

wenzelm [Sun, 13 Feb 2000 21:01:26 +0100] rev 8238

added refine_end; res_inst tactic emulation;

wenzelm [Sun, 13 Feb 2000 21:00:02 +0100] rev 8237

tuned attrib;

isabelle