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
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 tip