isabelle: Changelog

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;

wenzelm [Tue, 20 Oct 1998 16:38:37 +0200] rev 5698

field types: datatype; record_split_tac; quiet_mode; renamed fst/snd to val/more; structure BasicRecordPackage;

wenzelm [Tue, 20 Oct 1998 16:37:02 +0200] rev 5697

quiet_mode, message;

isabelle