isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

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

Fri, 28 Sep 2001 11:05:37 +0200 - Exchanged % and %%

changeset

berghofe [Fri, 28 Sep 2001 11:05:37 +0200] rev 11613

- Exchanged % and %% - Renamed reconstruct_prf to reconstruct_proof

Fri, 28 Sep 2001 11:04:44 +0200 Exchanged % and %%.

changeset

berghofe [Fri, 28 Sep 2001 11:04:44 +0200] rev 11612

Exchanged % and %%.

Thu, 27 Sep 2001 22:30:09 +0200 HOL: eliminated global items;

changeset

wenzelm [Thu, 27 Sep 2001 22:30:09 +0200] rev 11611

HOL: eliminated global items;

Thu, 27 Sep 2001 22:29:57 +0200 updated;

changeset

wenzelm [Thu, 27 Sep 2001 22:29:57 +0200] rev 11610

updated;

Thu, 27 Sep 2001 22:28:16 +0200 eliminated theories "equalities" and "mono" (made part of "Typedef",

changeset

wenzelm [Thu, 27 Sep 2001 22:28:16 +0200] rev 11609

eliminated theories "equalities" and "mono" (made part of "Typedef", which supercedes "subset");

Thu, 27 Sep 2001 22:26:00 +0200 renamed theory "subset" to "Typedef";

changeset

wenzelm [Thu, 27 Sep 2001 22:26:00 +0200] rev 11608

renamed theory "subset" to "Typedef";

Thu, 27 Sep 2001 22:25:12 +0200 unsymbolize;

changeset

wenzelm [Thu, 27 Sep 2001 22:25:12 +0200] rev 11607

unsymbolize;

Thu, 27 Sep 2001 22:24:28 +0200 renamed "()" to Unity;

changeset

wenzelm [Thu, 27 Sep 2001 22:24:28 +0200] rev 11606

renamed "()" to Unity;

Thu, 27 Sep 2001 22:24:09 +0200 HOLogic.unit;

changeset

wenzelm [Thu, 27 Sep 2001 22:24:09 +0200] rev 11605

HOLogic.unit;

Thu, 27 Sep 2001 22:23:40 +0200 made unit type local;

changeset

wenzelm [Thu, 27 Sep 2001 22:23:40 +0200] rev 11604

made unit type local;

Thu, 27 Sep 2001 22:23:20 +0200 tuned:

changeset

wenzelm [Thu, 27 Sep 2001 22:23:20 +0200] rev 11603

tuned:

Thu, 27 Sep 2001 22:22:58 +0200 renamed "()" to Unity, made local;

changeset

wenzelm [Thu, 27 Sep 2001 22:22:58 +0200] rev 11602

renamed "()" to Unity, made local;

Thu, 27 Sep 2001 22:22:08 +0200 added surjE;

changeset

wenzelm [Thu, 27 Sep 2001 22:22:08 +0200] rev 11601

added surjE;

Thu, 27 Sep 2001 18:56:39 +0200 prepared for Isabelle2001;

changeset

wenzelm [Thu, 27 Sep 2001 18:56:39 +0200] rev 11600

prepared for Isabelle2001;

Thu, 27 Sep 2001 18:46:32 +0200 renamed real_of_nat_eq_cancel to real_of_nat_inject, and declared as iff rule;

changeset

wenzelm [Thu, 27 Sep 2001 18:46:32 +0200] rev 11599

renamed real_of_nat_eq_cancel to real_of_nat_inject, and declared as iff rule;

Thu, 27 Sep 2001 18:45:40 +0200 updated;

changeset

wenzelm [Thu, 27 Sep 2001 18:45:40 +0200] rev 11598

updated;

Thu, 27 Sep 2001 18:45:23 +0200 renamed real_of_int_eq_iff to real_of_int_inject;

changeset

wenzelm [Thu, 27 Sep 2001 18:45:23 +0200] rev 11597

renamed real_of_int_eq_iff to real_of_int_inject;

Thu, 27 Sep 2001 18:44:30 +0200 document setup;

changeset

wenzelm [Thu, 27 Sep 2001 18:44:30 +0200] rev 11596

document setup;

Thu, 27 Sep 2001 18:44:12 +0200 new-style theory;

changeset

wenzelm [Thu, 27 Sep 2001 18:44:12 +0200] rev 11595

new-style theory;

Thu, 27 Sep 2001 18:43:40 +0200 Square roots of primes are irrational;

changeset

wenzelm [Thu, 27 Sep 2001 18:43:40 +0200] rev 11594

Square roots of primes are irrational;

Thu, 27 Sep 2001 18:43:17 +0200 AddXIs [dvdI]; AddXEs [dvdE];

changeset

wenzelm [Thu, 27 Sep 2001 18:43:17 +0200] rev 11593

AddXIs [dvdI]; AddXEs [dvdE]; added dvd_mult_div_cancel;

Thu, 27 Sep 2001 18:42:47 +0200 tuned;

changeset

wenzelm [Thu, 27 Sep 2001 18:42:47 +0200] rev 11592

tuned;

Thu, 27 Sep 2001 16:43:46 +0200 tuned;

changeset

wenzelm [Thu, 27 Sep 2001 16:43:46 +0200] rev 11591

tuned;

Thu, 27 Sep 2001 16:04:44 +0200 tuned;

changeset

wenzelm [Thu, 27 Sep 2001 16:04:44 +0200] rev 11590

tuned;

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

isabelle

RSS Atom