isabelle: Changelog

wenzelm [Thu, 07 Jul 2016 12:02:58 +0200] rev 63420

tuned;

wenzelm [Thu, 07 Jul 2016 11:46:18 +0200] rev 63419

more operations;

Lars Hupel <lars.hupel@mytum.de> [Sun, 10 Jul 2016 22:05:18 +0200] rev 63418

tuned

haftmann [Sat, 09 Jul 2016 13:26:16 +0200] rev 63417

more lemmas to emphasize {0::nat..(<)n} as canonical representation of intervals on nat * * * more rules for setsum, setprod on intervals

haftmann [Fri, 08 Jul 2016 23:43:11 +0200] rev 63416

avoid to hide equality behind (output) abbreviation

haftmann [Fri, 08 Jul 2016 23:43:11 +0200] rev 63415

default rule for single-step reasoning

nipkow [Fri, 08 Jul 2016 19:35:31 +0200] rev 63414

new style dummy_pats

nipkow [Fri, 08 Jul 2016 16:38:31 +0200] rev 63413

added path_len

nipkow [Thu, 07 Jul 2016 18:08:10 +0200] rev 63412

merged

nipkow [Thu, 07 Jul 2016 18:08:02 +0200] rev 63411

got rid of class cmp; added height-size proofs by Daniel Stuewe

isabelle