changeset 41959 | b460124855b8 |
parent 36840 | 1e020f445846 |
child 45607 | 16b4f5774621 |
--- a/src/HOL/Parity.thy Sun Mar 13 22:24:10 2011 +0100 +++ b/src/HOL/Parity.thy Sun Mar 13 22:55:50 2011 +0100 @@ -1,5 +1,6 @@ -(* Title: HOL/Library/Parity.thy - Author: Jeremy Avigad, Jacques D. Fleuriot +(* Title: HOL/Parity.thy + Author: Jeremy Avigad + Author: Jacques D. Fleuriot *) header {* Even and Odd for int and nat *}