isabelle: Changelog

paulson [Wed, 19 Aug 1998 10:26:37 +0200] rev 5334

less_imp_diff_positive is redundant with new simprule zero_less_diff

paulson [Wed, 19 Aug 1998 10:26:02 +0200] rev 5333

Some new theorems. zero_less_diff replaces less_imp_diff_positive

paulson [Tue, 18 Aug 1998 10:27:14 +0200] rev 5332

ZF.thy

paulson [Tue, 18 Aug 1998 10:25:13 +0200] rev 5331

new theorem Un_Diff_Int

paulson [Tue, 18 Aug 1998 10:24:54 +0200] rev 5330

added comment

paulson [Tue, 18 Aug 1998 10:24:09 +0200] rev 5329

new theorem diff_Suc_less_diff

wenzelm [Mon, 17 Aug 1998 20:32:24 +0200] rev 5328

added get_tthmss;

nipkow [Mon, 17 Aug 1998 16:02:21 +0200] rev 5327

Mention RegExp2NA.

paulson [Mon, 17 Aug 1998 13:09:40 +0200] rev 5326

expandshort

paulson [Mon, 17 Aug 1998 13:09:08 +0200] rev 5325

Yet more removal of "goal" commands, especially "goal ZF.thy", so ZF.thy contains fewer theorems than before

isabelle