isabelle: Changelog

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";

wenzelm [Tue, 20 Oct 1998 16:41:50 +0200] rev 5700

fixed Syntax module;

wenzelm [Tue, 20 Oct 1998 16:39:14 +0200] rev 5699

split_paired_all.ML;

isabelle