isabelle: Changelog

wenzelm [Sun, 18 Aug 2013 15:10:18 +0200] rev 53071

tuned;

haftmann [Sun, 18 Aug 2013 15:35:01 +0200] rev 53070

spelling and typos

haftmann [Sun, 18 Aug 2013 15:29:50 +0200] rev 53069

execution of int division by class semiring_numeral_div, replacing pdivmod by divmod_abs

haftmann [Sun, 18 Aug 2013 15:29:50 +0200] rev 53068

relaxed preconditions

haftmann [Sun, 18 Aug 2013 15:29:50 +0200] rev 53067

type class for generic division algorithm on numerals

haftmann [Sun, 18 Aug 2013 15:29:50 +0200] rev 53066

added lemma

haftmann [Sun, 18 Aug 2013 15:29:50 +0200] rev 53065

added lemma

haftmann [Sun, 18 Aug 2013 15:29:50 +0200] rev 53064

generalized sort constraint of lemmas

haftmann [Sun, 18 Aug 2013 15:29:50 +0200] rev 53063

explicit conversion from and to bool, and into algebraic structures with 0 and 1

haftmann [Sun, 18 Aug 2013 15:29:50 +0200] rev 53062

some vague grouping of related theorems, with slight tuning of headings and sorting out of dubious lemmas into separate theory

isabelle