isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Mon, 01 Oct 2001 13:33:49 +0200 Added axiom e~=This to reflect strengthened precond. in rule LAss

changeset

streckem [Mon, 01 Oct 2001 13:33:49 +0200] rev 11643

Added axiom e~=This to reflect strengthened precond. in rule LAss

Mon, 01 Oct 2001 13:32:11 +0200 Minor modifications

changeset

streckem [Mon, 01 Oct 2001 13:32:11 +0200] rev 11642

Minor modifications

Mon, 01 Oct 2001 11:56:40 +0200 added Ordinals example;

changeset

wenzelm [Mon, 01 Oct 2001 11:56:40 +0200] rev 11641

added Ordinals example;

Sun, 30 Sep 2001 13:42:00 +0200 Tuned indentation of abstractions.

changeset

berghofe [Sun, 30 Sep 2001 13:42:00 +0200] rev 11640

Tuned indentation of abstractions.

Fri, 28 Sep 2001 21:45:40 +0200 tuned;

changeset

wenzelm [Fri, 28 Sep 2001 21:45:40 +0200] rev 11639

tuned;

Fri, 28 Sep 2001 21:45:11 +0200 inductive: no collective atts;

changeset

wenzelm [Fri, 28 Sep 2001 21:45:11 +0200] rev 11638

inductive: no collective atts;

Fri, 28 Sep 2001 20:09:10 +0200 inductive: no collective atts;

changeset

wenzelm [Fri, 28 Sep 2001 20:09:10 +0200] rev 11637

inductive: no collective atts;

Fri, 28 Sep 2001 20:08:28 +0200 oops;

changeset

wenzelm [Fri, 28 Sep 2001 20:08:28 +0200] rev 11636

oops;

Fri, 28 Sep 2001 20:08:05 +0200 tuned;

changeset

wenzelm [Fri, 28 Sep 2001 20:08:05 +0200] rev 11635

tuned;

Fri, 28 Sep 2001 19:24:25 +0200 recdef (permissive);

changeset

wenzelm [Fri, 28 Sep 2001 19:24:25 +0200] rev 11634

recdef (permissive); inductive: no collective atts;

Fri, 28 Sep 2001 19:23:58 +0200 *** empty log message ***

changeset

wenzelm [Fri, 28 Sep 2001 19:23:58 +0200] rev 11633

*** empty log message ***

Fri, 28 Sep 2001 19:23:35 +0200 prove: ``strict'' argument;

changeset

wenzelm [Fri, 28 Sep 2001 19:23:35 +0200] rev 11632

prove: ``strict'' argument;

Fri, 28 Sep 2001 19:23:07 +0200 internal thm numbering with ":" instead of "_";

changeset

wenzelm [Fri, 28 Sep 2001 19:23:07 +0200] rev 11631

internal thm numbering with ":" instead of "_";

Fri, 28 Sep 2001 19:22:40 +0200 avoid handle _;

changeset

wenzelm [Fri, 28 Sep 2001 19:22:40 +0200] rev 11630

avoid handle _;

Fri, 28 Sep 2001 19:21:26 +0200 permissive option;

changeset

wenzelm [Fri, 28 Sep 2001 19:21:26 +0200] rev 11629

permissive option;

Fri, 28 Sep 2001 19:19:26 +0200 inductive: no collective atts;

changeset

wenzelm [Fri, 28 Sep 2001 19:19:26 +0200] rev 11628

inductive: no collective atts;

Fri, 28 Sep 2001 19:18:46 +0200 updated;

changeset

wenzelm [Fri, 28 Sep 2001 19:18:46 +0200] rev 11627

updated;

Fri, 28 Sep 2001 19:17:01 +0200 recdef (permissive);

changeset

wenzelm [Fri, 28 Sep 2001 19:17:01 +0200] rev 11626

recdef (permissive);

Fri, 28 Sep 2001 18:55:37 +0200 Tuned section about parsing and printing proof terms.

changeset

berghofe [Fri, 28 Sep 2001 18:55:37 +0200] rev 11625

Tuned section about parsing and printing proof terms.

Fri, 28 Sep 2001 17:19:46 +0200 mksimps and mk_eq_True no longer raise THM exception.

changeset

berghofe [Fri, 28 Sep 2001 17:19:46 +0200] rev 11624

mksimps and mk_eq_True no longer raise THM exception.

Fri, 28 Sep 2001 16:45:03 +0200 Added label for section on terms.

changeset

berghofe [Fri, 28 Sep 2001 16:45:03 +0200] rev 11623

Added label for section on terms.

Fri, 28 Sep 2001 16:44:27 +0200 Added documentation for proof terms.

changeset

berghofe [Fri, 28 Sep 2001 16:44:27 +0200] rev 11622

Added documentation for proof terms.

Fri, 28 Sep 2001 16:43:50 +0200 Added TYPE to Pure grammar.

changeset

berghofe [Fri, 28 Sep 2001 16:43:50 +0200] rev 11621

Added TYPE to Pure grammar.

Fri, 28 Sep 2001 16:42:58 +0200 Added \ttlbrack and \ttrbrack.

changeset

berghofe [Fri, 28 Sep 2001 16:42:58 +0200] rev 11620

Added \ttlbrack and \ttrbrack.

Fri, 28 Sep 2001 16:42:26 +0200 Added TPHOLs2000 paper about proof terms.

changeset

berghofe [Fri, 28 Sep 2001 16:42:26 +0200] rev 11619

Added TPHOLs2000 paper about proof terms.

Fri, 28 Sep 2001 16:15:26 +0200 updated;

changeset

wenzelm [Fri, 28 Sep 2001 16:15:26 +0200] rev 11618

updated;

Fri, 28 Sep 2001 14:10:01 +0200 tuned;

changeset

wenzelm [Fri, 28 Sep 2001 14:10:01 +0200] rev 11617

tuned;

Fri, 28 Sep 2001 14:04:14 +0200 tuned;

changeset

wenzelm [Fri, 28 Sep 2001 14:04:14 +0200] rev 11616

tuned;

Fri, 28 Sep 2001 11:08:53 +0200 - Exchanged % and %%.

changeset

berghofe [Fri, 28 Sep 2001 11:08:53 +0200] rev 11615

- Exchanged % and %%. - Fixed bug in shrink.

Fri, 28 Sep 2001 11:07:40 +0200 - Tuned syntax

changeset

berghofe [Fri, 28 Sep 2001 11:07:40 +0200] rev 11614

- Tuned syntax - proof_of_term: fixed problems with dummy patterns and typing information

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

isabelle

RSS Atom