isabelle: Changelog

wenzelm [Tue, 16 Jul 2002 18:26:09 +0200] rev 13365

adapted to locale defs;

wenzelm [Tue, 16 Jul 2002 18:25:48 +0200] rev 13364

updated;

paulson [Tue, 16 Jul 2002 16:29:36 +0200] rev 13363

instantiation of locales M_trancl and M_wfrank; proofs of list_replacement{1,2}

paulson [Tue, 16 Jul 2002 16:28:49 +0200] rev 13362

tweaked definition of setclass

paulson [Tue, 16 Jul 2002 16:28:26 +0200] rev 13361

new lemmas

nipkow [Tue, 16 Jul 2002 09:36:11 +0200] rev 13360

*** empty log message ***

Mon, 15 Jul 2002 15:28:51 +0200 mail address update

isatest [Mon, 15 Jul 2002 15:28:51 +0200] rev 13359

mail address update

schirmer [Mon, 15 Jul 2002 10:41:34 +0200] rev 13358

fix latex output

paulson [Sun, 14 Jul 2002 19:59:55 +0200] rev 13357

Removal of mono.thy

paulson [Sun, 14 Jul 2002 15:14:43 +0200] rev 13356

improved presentation markup

isabelle