isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Tue, 02 Aug 2016 18:13:24 +0200 avoid confusion with 'case' and "cases";

changeset

wenzelm [Tue, 02 Aug 2016 18:13:24 +0200] rev 63582

avoid confusion with 'case' and "cases";

Tue, 02 Aug 2016 18:11:17 +0200 tuned;

changeset

wenzelm [Tue, 02 Aug 2016 18:11:17 +0200] rev 63581

tuned;

Tue, 02 Aug 2016 17:39:38 +0200 clarified: 'imports' is de-facto mandatory;

changeset

wenzelm [Tue, 02 Aug 2016 17:39:38 +0200] rev 63580

clarified: 'imports' is de-facto mandatory;

Tue, 02 Aug 2016 17:35:18 +0200 support 'abbrevs' within theory header;

changeset

wenzelm [Tue, 02 Aug 2016 17:35:18 +0200] rev 63579

support 'abbrevs' within theory header; simplified 'keywords': no abbreviations here;

Tue, 02 Aug 2016 11:49:30 +0200 tuned;

changeset

wenzelm [Tue, 02 Aug 2016 11:49:30 +0200] rev 63578

tuned;

Tue, 02 Aug 2016 13:13:15 +0200 more natural definition of type finmap

changeset

immler [Tue, 02 Aug 2016 13:13:15 +0200] rev 63577

more natural definition of type finmap

Mon, 01 Aug 2016 22:36:47 +0200 tuned proof;

changeset

wenzelm [Mon, 01 Aug 2016 22:36:47 +0200] rev 63576

tuned proof;

Mon, 01 Aug 2016 22:11:29 +0200 misc tuning and modernization;

changeset

wenzelm [Mon, 01 Aug 2016 22:11:29 +0200] rev 63575

misc tuning and modernization;

Mon, 01 Aug 2016 13:51:17 +0200 uniform server startup like windows and macos, for improved robustness if jEdit is terminated abruptly;

changeset

wenzelm [Mon, 01 Aug 2016 13:51:17 +0200] rev 63574

uniform server startup like windows and macos, for improved robustness if jEdit is terminated abruptly;

Mon, 01 Aug 2016 11:54:32 +0200 more restrictive retrieval of rules for matching instead of unification -- relevant for performance of printing terms;

changeset

wenzelm [Mon, 01 Aug 2016 11:54:32 +0200] rev 63573

more restrictive retrieval of rules for matching instead of unification -- relevant for performance of printing terms;

Sun, 31 Jul 2016 22:56:18 +0200 misc tuning and modernization;

changeset

wenzelm [Sun, 31 Jul 2016 22:56:18 +0200] rev 63572

misc tuning and modernization;

Sun, 31 Jul 2016 19:09:21 +0200 clarified imports;

changeset

wenzelm [Sun, 31 Jul 2016 19:09:21 +0200] rev 63571

clarified imports;

Sun, 31 Jul 2016 18:05:20 +0200 simplified theory structure;

changeset

wenzelm [Sun, 31 Jul 2016 18:05:20 +0200] rev 63570

simplified theory structure;

Sun, 31 Jul 2016 17:25:38 +0200 misc tuning and modernization;

changeset

wenzelm [Sun, 31 Jul 2016 17:25:38 +0200] rev 63569

misc tuning and modernization;

Sat, 30 Jul 2016 21:10:02 +0200 tuned;

changeset

wenzelm [Sat, 30 Jul 2016 21:10:02 +0200] rev 63568

tuned;

Fri, 29 Jul 2016 20:38:39 +0200 merged

changeset

wenzelm [Fri, 29 Jul 2016 20:38:39 +0200] rev 63567

merged

Fri, 29 Jul 2016 20:34:07 +0200 more accurate cong del;

changeset

wenzelm [Fri, 29 Jul 2016 20:34:07 +0200] rev 63566

more accurate cong del; tuned proofs;

Fri, 29 Jul 2016 10:03:22 +0200 made generation of transfer goals more robust w.r.t. dead variables

changeset

traytel [Fri, 29 Jul 2016 10:03:22 +0200] rev 63565

made generation of transfer goals more robust w.r.t. dead variables

Fri, 29 Jul 2016 15:00:51 +0200 merged

changeset

Andreas Lochbihler [Fri, 29 Jul 2016 15:00:51 +0200] rev 63564

merged

Fri, 29 Jul 2016 12:44:22 +0200 prefer [simp] over [iff] as [iff] break HOL-UNITY

changeset

Andreas Lochbihler [Fri, 29 Jul 2016 12:44:22 +0200] rev 63563

prefer [simp] over [iff] as [iff] break HOL-UNITY

Fri, 29 Jul 2016 11:42:13 +0200 fix LaTeX error

changeset

Andreas Lochbihler [Fri, 29 Jul 2016 11:42:13 +0200] rev 63562

fix LaTeX error

Fri, 29 Jul 2016 09:49:23 +0200 add lemmas contributed by Peter Gammie

changeset

Andreas Lochbihler [Fri, 29 Jul 2016 09:49:23 +0200] rev 63561

add lemmas contributed by Peter Gammie

Fri, 29 Jul 2016 08:22:59 +0200 more instantiations for multiset

changeset

fleury <Mathias.Fleury@mpi-inf.mpg.de> [Fri, 29 Jul 2016 08:22:59 +0200] rev 63560

more instantiations for multiset

Thu, 28 Jul 2016 20:39:51 +0200 merged

changeset

wenzelm [Thu, 28 Jul 2016 20:39:51 +0200] rev 63559

merged

Thu, 28 Jul 2016 20:39:46 +0200 misc tuning and modernization;

changeset

wenzelm [Thu, 28 Jul 2016 20:39:46 +0200] rev 63558

misc tuning and modernization;

Wed, 27 Jul 2016 10:24:50 +0200 updated to jdk-8u102;

changeset

wenzelm [Wed, 27 Jul 2016 10:24:50 +0200] rev 63557

updated to jdk-8u102;

Thu, 28 Jul 2016 17:16:16 +0200 numerical bounds on pi

changeset

immler [Thu, 28 Jul 2016 17:16:16 +0200] rev 63556

numerical bounds on pi

Sun, 24 Jul 2016 16:48:41 +0200 more on type class hierarchy

changeset

haftmann [Sun, 24 Jul 2016 16:48:41 +0200] rev 63555