isabelle: Changelog

paulson [Wed, 16 Sep 1998 10:28:54 +0200] rev 5493

deleted redundant quantifiers

paulson [Tue, 15 Sep 1998 15:10:38 +0200] rev 5492

From Compl(A) to -A

paulson [Tue, 15 Sep 1998 15:06:29 +0200] rev 5491

revised treatment of integers

paulson [Tue, 15 Sep 1998 15:04:07 +0200] rev 5490

From Compl(A) to -A

nipkow [Tue, 15 Sep 1998 13:09:23 +0200] rev 5489

Function 'step' is already defined in NA.thy.

paulson [Tue, 15 Sep 1998 10:40:40 +0200] rev 5488

tidied

paulson [Mon, 14 Sep 1998 10:18:07 +0200] rev 5487

commented out duplicate proof

paulson [Mon, 14 Sep 1998 10:17:44 +0200] rev 5486

simpler proof

paulson [Mon, 14 Sep 1998 10:17:19 +0200] rev 5485

new theorem le_diff_conv

paulson [Fri, 11 Sep 1998 18:09:54 +0200] rev 5484

Extra steps at end to make it run faster

isabelle