isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Sat, 18 Nov 2006 00:20:15 +0100 div is now a class

changeset

haftmann [Sat, 18 Nov 2006 00:20:15 +0100] rev 21408

div is now a class

Sat, 18 Nov 2006 00:20:13 +0100 reduced verbosity

changeset

haftmann [Sat, 18 Nov 2006 00:20:13 +0100] rev 21407

reduced verbosity

Sat, 18 Nov 2006 00:20:12 +0100 adjustments for class package

changeset

haftmann [Sat, 18 Nov 2006 00:20:12 +0100] rev 21406

adjustments for class package

Fri, 17 Nov 2006 17:32:30 +0100 added an intro lemma for freshness of products; set up

changeset

urbanc [Fri, 17 Nov 2006 17:32:30 +0100] rev 21405

added an intro lemma for freshness of products; set up the simplifier so that it can deal with the compact and long notation for freshness constraints (FIXME: it should also be able to deal with the special case of freshness of atoms)

Fri, 17 Nov 2006 02:20:03 +0100 more robust syntax for definition/abbreviation/notation;

changeset

wenzelm [Fri, 17 Nov 2006 02:20:03 +0100] rev 21404

more robust syntax for definition/abbreviation/notation;

Fri, 17 Nov 2006 02:19:55 +0100 'notation': more robust 'and' list;

changeset

wenzelm [Fri, 17 Nov 2006 02:19:55 +0100] rev 21403

'notation': more robust 'and' list;

Fri, 17 Nov 2006 02:19:54 +0100 updated;

changeset

wenzelm [Fri, 17 Nov 2006 02:19:54 +0100] rev 21402

updated;

Fri, 17 Nov 2006 02:19:52 +0100 added Isar.goal;

changeset

wenzelm [Fri, 17 Nov 2006 02:19:52 +0100] rev 21401

added Isar.goal;

Fri, 17 Nov 2006 02:19:51 +0100 added where_;

changeset

wenzelm [Fri, 17 Nov 2006 02:19:51 +0100] rev 21400

added where_;

Thu, 16 Nov 2006 20:19:50 +0100 add lemmas LIM_zero_iff, LIM_norm_zero_iff

changeset

huffman [Thu, 16 Nov 2006 20:19:50 +0100] rev 21399

add lemmas LIM_zero_iff, LIM_norm_zero_iff

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

isabelle

RSS Atom