isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Fri, 10 Apr 2015 23:56:41 +0200 tuned;

changeset

wenzelm [Fri, 10 Apr 2015 23:56:41 +0200] rev 60006

tuned;

Fri, 10 Apr 2015 22:53:30 +0200 updated Cygwin near 1.7.35-1;

changeset

wenzelm [Fri, 10 Apr 2015 22:53:30 +0200] rev 60005

updated Cygwin near 1.7.35-1;

Fri, 10 Apr 2015 19:05:00 +0200 have 'primrec' return definitions

changeset

blanchet [Fri, 10 Apr 2015 19:05:00 +0200] rev 60004

have 'primrec' return definitions

Fri, 10 Apr 2015 18:23:01 +0200 renamed ML funs

changeset

blanchet [Fri, 10 Apr 2015 18:23:01 +0200] rev 60003

renamed ML funs

Fri, 10 Apr 2015 14:44:08 +0200 generalized code a bit

changeset

blanchet [Fri, 10 Apr 2015 14:44:08 +0200] rev 60002

generalized code a bit

Fri, 10 Apr 2015 14:03:18 +0200 generalized code

changeset

blanchet [Fri, 10 Apr 2015 14:03:18 +0200] rev 60001

generalized code

Fri, 10 Apr 2015 12:44:41 +0200 exported function (for symmetry)

changeset

blanchet [Fri, 10 Apr 2015 12:44:41 +0200] rev 60000

exported function (for symmetry)

Fri, 10 Apr 2015 12:16:58 +0200 merged

changeset

nipkow [Fri, 10 Apr 2015 12:16:58 +0200] rev 59999

merged

Fri, 10 Apr 2015 12:16:45 +0200 renamed Multiset.fold -> fold_mset, Multiset.filter -> filter_mset

changeset

nipkow [Fri, 10 Apr 2015 12:16:45 +0200] rev 59998

renamed Multiset.fold -> fold_mset, Multiset.filter -> filter_mset

Fri, 10 Apr 2015 11:52:55 +0200 tuned proofs;

changeset

wenzelm [Fri, 10 Apr 2015 11:52:55 +0200] rev 59997

tuned proofs;

Fri, 10 Apr 2015 11:31:10 +0200 tuned signature;

changeset

wenzelm [Fri, 10 Apr 2015 11:31:10 +0200] rev 59996

tuned signature;

Fri, 10 Apr 2015 11:29:12 +0200 tuned;

changeset

wenzelm [Fri, 10 Apr 2015 11:29:12 +0200] rev 59995

tuned;

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

isabelle

RSS Atom