isabelle: Changelog

paulson [Tue, 30 Jul 2002 11:38:33 +0200] rev 13433

removal of twos_compl.ML, which is not really needed

isatest [Tue, 30 Jul 2002 10:29:34 +0200] rev 13432

- changed date format for proper lexicographical ordering - send tail of log in email

isatest [Tue, 30 Jul 2002 10:28:38 +0200] rev 13431

changed date format for proper lexicographical ordering

wenzelm [Mon, 29 Jul 2002 21:39:22 +0200] rev 13430

tuned messages;

wenzelm [Mon, 29 Jul 2002 18:07:53 +0200] rev 13429

tuned;

wenzelm [Mon, 29 Jul 2002 00:57:16 +0200] rev 13428

eliminate open locales and special ML code;

wenzelm [Sun, 28 Jul 2002 21:09:37 +0200] rev 13427

tuned document;

wenzelm [Sat, 27 Jul 2002 21:55:14 +0200] rev 13426

make SML/NJ happy;

wenzelm [Fri, 26 Jul 2002 21:09:39 +0200] rev 13425

support for split assumptions in cases (hyps vs. prems);

wenzelm [Fri, 26 Jul 2002 21:07:57 +0200] rev 13424

tuned;

isabelle