isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Sat, 29 Dec 2001 18:35:27 +0100 'inductive_cases': support 'and' form;

changeset

wenzelm [Sat, 29 Dec 2001 18:35:27 +0100] rev 12609

'inductive_cases': support 'and' form;

Sat, 29 Dec 2001 18:34:42 +0100 * ZF/IMP: updated and converted to new-style theory format;

changeset

wenzelm [Sat, 29 Dec 2001 18:34:42 +0100] rev 12608

* ZF/IMP: updated and converted to new-style theory format;

Sat, 29 Dec 2001 13:14:11 +0100 update by Stephan Merz;

changeset

wenzelm [Sat, 29 Dec 2001 13:14:11 +0100] rev 12607

update by Stephan Merz;

Fri, 28 Dec 2001 10:11:14 +0100 conversion to Isar/ZF

changeset

paulson [Fri, 28 Dec 2001 10:11:14 +0100] rev 12606

conversion to Isar/ZF

Fri, 28 Dec 2001 10:10:55 +0100 fixed variable-clash bug in make_elim

changeset

paulson [Fri, 28 Dec 2001 10:10:55 +0100] rev 12605

fixed variable-clash bug in make_elim

Thu, 27 Dec 2001 16:49:15 +0100 obsolete;

changeset

wenzelm [Thu, 27 Dec 2001 16:49:15 +0100] rev 12604

obsolete;

Thu, 27 Dec 2001 16:46:52 +0100 tuned tracing markup;

changeset

wenzelm [Thu, 27 Dec 2001 16:46:52 +0100] rev 12603

tuned tracing markup;

Thu, 27 Dec 2001 16:46:28 +0100 tuned tracing_fn markup;

changeset

wenzelm [Thu, 27 Dec 2001 16:46:28 +0100] rev 12602

tuned tracing_fn markup;

Thu, 27 Dec 2001 16:46:04 +0100 solve rule: tracing instead of priority;

changeset

wenzelm [Thu, 27 Dec 2001 16:46:04 +0100] rev 12601

solve rule: tracing instead of priority;

Thu, 27 Dec 2001 16:45:19 +0100 tuned;

changeset

wenzelm [Thu, 27 Dec 2001 16:45:19 +0100] rev 12600

tuned;

Thu, 27 Dec 2001 16:44:43 +0100 IMP/document/root.tex;

changeset

wenzelm [Thu, 27 Dec 2001 16:44:43 +0100] rev 12599

IMP/document/root.tex;

Thu, 27 Dec 2001 16:44:29 +0100 warn for spaces in ISABELLE_HOME;

changeset

wenzelm [Thu, 27 Dec 2001 16:44:29 +0100] rev 12598

warn for spaces in ISABELLE_HOME;

Thu, 27 Dec 2001 16:43:56 +0100 HOL/IMP and HOLCF/IMP updated and converted (Gerwin Klein);

changeset

wenzelm [Thu, 27 Dec 2001 16:43:56 +0100] rev 12597

HOL/IMP and HOLCF/IMP updated and converted (Gerwin Klein);

Tue, 25 Dec 2001 10:02:20 +0100 some new theorems

changeset

paulson [Tue, 25 Dec 2001 10:02:20 +0100] rev 12596

some new theorems

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

isabelle

RSS Atom