isabelle: Changelog

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

paulson [Sun, 14 Jul 2002 15:11:21 +0200] rev 13355

merged Update with func

schirmer [Fri, 12 Jul 2002 17:16:22 +0200] rev 13354

little Bugfix

paulson [Fri, 12 Jul 2002 16:41:39 +0200] rev 13353

towards relativization of "iterates" and "wfrec"

paulson [Fri, 12 Jul 2002 11:24:40 +0200] rev 13352

new definitions of fun_apply and M_is_recfun

isabelle