isabelle: Changelog

paulson [Thu, 29 Oct 1998 12:42:33 +0100] rev 5774

tidied

paulson [Thu, 29 Oct 1998 12:41:45 +0100] rev 5773

auto update

nipkow [Wed, 28 Oct 1998 13:25:09 +0100] rev 5772

Some more proofs.

nipkow [Wed, 28 Oct 1998 11:25:38 +0100] rev 5771

added nat_diff_split and a few lemmas in Trancl.

wenzelm [Mon, 26 Oct 1998 13:05:08 +0100] rev 5770

ML_SYSTEM=polyml-3.1;

wenzelm [Sun, 25 Oct 1998 12:33:27 +0100] rev 5769

tuned checklist;

wenzelm [Sat, 24 Oct 1998 21:25:43 +0200] rev 5768

official release;

wenzelm [Sat, 24 Oct 1998 21:21:21 +0200] rev 5767

ML_SYSTEM factory default;

wenzelm [Sat, 24 Oct 1998 20:28:03 +0200] rev 5766

*** empty log message ***

Sat, 24 Oct 1998 20:24:33 +0200 tuned;

wenzelm [Sat, 24 Oct 1998 20:24:33 +0200] rev 5765

tuned;

isabelle