isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -10000 -3000 -1000 -300 -100 -50 -24 +24 +50 +100 +300 +1000 +3000 +10000 +30000 tip

Fri, 26 Mar 2004 05:32:00 +0100 symbols in idents

kleing [Fri, 26 Mar 2004 05:32:00 +0100] rev 14486

symbols in idents

Thu, 25 Mar 2004 10:32:21 +0100 new material from Avigad

paulson [Thu, 25 Mar 2004 10:32:21 +0100] rev 14485

new material from Avigad

Thu, 25 Mar 2004 10:31:25 +0100 new treatment of equivalence classes

paulson [Thu, 25 Mar 2004 10:31:25 +0100] rev 14484

new treatment of equivalence classes

Thu, 25 Mar 2004 06:44:39 +0100 documented new identifier syntax

kleing [Thu, 25 Mar 2004 06:44:39 +0100] rev 14483

documented new identifier syntax

Thu, 25 Mar 2004 05:37:32 +0100 moved MiniML and AVL to archive of formal proofs

kleing [Thu, 25 Mar 2004 05:37:32 +0100] rev 14482

moved MiniML and AVL to archive of formal proofs

Wed, 24 Mar 2004 10:55:38 +0100 auto update

paulson [Wed, 24 Mar 2004 10:55:38 +0100] rev 14481

auto update

Wed, 24 Mar 2004 10:55:20 +0100 clarified

paulson [Wed, 24 Mar 2004 10:55:20 +0100] rev 14480

clarified

Wed, 24 Mar 2004 10:50:29 +0100 streamlined treatment of quotients for the integers

paulson [Wed, 24 Mar 2004 10:50:29 +0100] rev 14479

streamlined treatment of quotients for the integers

Fri, 19 Mar 2004 11:06:53 +0100 added a few 0 and Suc lemmas

nipkow [Fri, 19 Mar 2004 11:06:53 +0100] rev 14478

added a few 0 and Suc lemmas

Fri, 19 Mar 2004 10:51:03 +0100 conversion of Hyperreal/Lim to new-style

paulson [Fri, 19 Mar 2004 10:51:03 +0100] rev 14477

conversion of Hyperreal/Lim to new-style

Fri, 19 Mar 2004 10:50:06 +0100 removed redundant thms

paulson [Fri, 19 Mar 2004 10:50:06 +0100] rev 14476

removed redundant thms

Fri, 19 Mar 2004 10:48:22 +0100 new thms

paulson [Fri, 19 Mar 2004 10:48:22 +0100] rev 14475

new thms

Fri, 19 Mar 2004 10:46:25 +0100 New simplification ordering to move numerals together. Fixes a bug in the

paulson [Fri, 19 Mar 2004 10:46:25 +0100] rev 14474

New simplification ordering to move numerals together. Fixes a bug in the nat cancellation simprocs

Fri, 19 Mar 2004 10:44:20 +0100 stylistic tweaks

paulson [Fri, 19 Mar 2004 10:44:20 +0100] rev 14473

stylistic tweaks

Fri, 19 Mar 2004 10:42:38 +0100 Removing the datatype declaration of "order" allows the standard General.order

paulson [Fri, 19 Mar 2004 10:42:38 +0100] rev 14472

Removing the datatype declaration of "order" allows the standard General.order to be used. Thus we can use Int.compare and String.compare instead of the slower home-grown versions.

Wed, 17 Mar 2004 14:00:45 +0100 case_tac no longer raises THM exception if goal number is out of range.

berghofe [Wed, 17 Mar 2004 14:00:45 +0100] rev 14471

case_tac no longer raises THM exception if goal number is out of range.

Mon, 15 Mar 2004 10:58:49 +0100 auto update

paulson [Mon, 15 Mar 2004 10:58:49 +0100] rev 14470

auto update

Mon, 15 Mar 2004 10:58:29 +0100 heavy tidying

paulson [Mon, 15 Mar 2004 10:58:29 +0100] rev 14469

heavy tidying

Mon, 15 Mar 2004 10:46:19 +0100 heavy tidying

paulson [Mon, 15 Mar 2004 10:46:19 +0100] rev 14468

heavy tidying

Mon, 15 Mar 2004 10:46:01 +0100 new lemma

paulson [Mon, 15 Mar 2004 10:46:01 +0100] rev 14467

new lemma

Mon, 15 Mar 2004 10:45:31 +0100 more up-to-date error msg

paulson [Mon, 15 Mar 2004 10:45:31 +0100] rev 14466

more up-to-date error msg

Fri, 12 Mar 2004 10:47:59 +0100 \<dots> replaced by ...

webertj [Fri, 12 Mar 2004 10:47:59 +0100] rev 14465

\<dots> replaced by ...

Thu, 11 Mar 2004 13:34:13 +0100 refute

webertj [Thu, 11 Mar 2004 13:34:13 +0100] rev 14464

refute

Thu, 11 Mar 2004 13:03:31 +0100 Documentation updated

webertj [Thu, 11 Mar 2004 13:03:31 +0100] rev 14463

Documentation updated

(0) -10000 -3000 -1000 -300 -100 -50 -24 +24 +50 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle