Thu, 07 Jul 2016 21:10:12 +0200 more operations;
wenzelm [Thu, 07 Jul 2016 21:10:12 +0200] rev 63423
more operations;
Thu, 07 Jul 2016 20:54:41 +0200 clarified modules;
wenzelm [Thu, 07 Jul 2016 20:54:41 +0200] rev 63422
clarified modules;
Thu, 07 Jul 2016 12:08:00 +0200 basic setup for indentation;
wenzelm [Thu, 07 Jul 2016 12:08:00 +0200] rev 63421
basic setup for indentation;
Thu, 07 Jul 2016 12:02:58 +0200 tuned;
wenzelm [Thu, 07 Jul 2016 12:02:58 +0200] rev 63420
tuned;
Thu, 07 Jul 2016 11:46:18 +0200 more operations;
wenzelm [Thu, 07 Jul 2016 11:46:18 +0200] rev 63419
more operations;
Sun, 10 Jul 2016 22:05:18 +0200 tuned
Lars Hupel <lars.hupel@mytum.de> [Sun, 10 Jul 2016 22:05:18 +0200] rev 63418
tuned
Sat, 09 Jul 2016 13:26:16 +0200 more lemmas to emphasize {0::nat..(<)n} as canonical representation of intervals on nat
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
Fri, 08 Jul 2016 23:43:11 +0200 avoid to hide equality behind (output) abbreviation
haftmann [Fri, 08 Jul 2016 23:43:11 +0200] rev 63416
avoid to hide equality behind (output) abbreviation
Fri, 08 Jul 2016 23:43:11 +0200 default rule for single-step reasoning
haftmann [Fri, 08 Jul 2016 23:43:11 +0200] rev 63415
default rule for single-step reasoning
Fri, 08 Jul 2016 19:35:31 +0200 new style dummy_pats
nipkow [Fri, 08 Jul 2016 19:35:31 +0200] rev 63414
new style dummy_pats
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip