isabelle: Changelog

wenzelm [Tue, 21 Nov 2000 19:03:27 +0100] rev 10506

replace \<dots>;

wenzelm [Tue, 21 Nov 2000 19:03:06 +0100] rev 10505

unsymbolize;

wenzelm [Tue, 21 Nov 2000 19:02:31 +0100] rev 10504

quote executable;

wenzelm [Tue, 21 Nov 2000 19:02:07 +0100] rev 10503

tuned;

bauerg [Tue, 21 Nov 2000 16:25:32 +0100] rev 10502

;

kleing [Tue, 21 Nov 2000 13:48:47 +0100] rev 10501

adjusted for BV changes (Ok -> OK)

paulson [Tue, 21 Nov 2000 13:28:23 +0100] rev 10500

thebibliography environment: replaced the Springer version by the standard one in book.cls

bauerg [Tue, 21 Nov 2000 11:31:45 +0100] rev 10499

alternative function definition;

nipkow [Tue, 21 Nov 2000 10:37:04 +0100] rev 10498

*** empty log message ***

kleing [Mon, 20 Nov 2000 16:41:25 +0100] rev 10497

BCV integration (type system is semilattice)

isabelle