isabelle: Changelog

wenzelm [Wed, 21 Oct 1998 16:04:57 +0200] rev 5710

tuned;

nipkow [Wed, 21 Oct 1998 15:57:04 +0200] rev 5709

Tutorial

wenzelm [Wed, 21 Oct 1998 14:05:49 +0200] rev 5708

dropped support for SML/NJ 109.x;

wenzelm [Wed, 21 Oct 1998 13:31:30 +0200] rev 5707

field_injects [iffs];

wenzelm [Wed, 21 Oct 1998 13:29:01 +0200] rev 5706

record_split_name;

wenzelm [Wed, 21 Oct 1998 13:01:17 +0200] rev 5705

tuned (all proofs are INSTABLE by David's definition of instability);

wenzelm [Wed, 21 Oct 1998 11:10:38 +0200] rev 5704

improved var names; tuned;

wenzelm [Tue, 20 Oct 1998 18:04:23 +0200] rev 5703

tuned stack_overflow_handler;

wenzelm [Tue, 20 Oct 1998 17:52:52 +0200] rev 5702

made SML/NJ happy;

wenzelm [Tue, 20 Oct 1998 17:27:00 +0200] rev 5701

delSWrapper "record_split_tac";

isabelle