src/HOL/IMPP/EvenOdd.thy
2011-01-16 wenzelm 2011-01-16 tuned headers;
2008-06-25 wenzelm 2008-06-25 modernized specifications;
2006-06-07 wenzelm 2006-06-07 removed obsolete ML files;
2005-09-17 wenzelm 2005-09-17 converted to Isar theory format;
2004-12-01 nipkow 2004-12-01 Added > and >= sugar
2001-10-06 wenzelm 2001-10-06 * sane numerals (stage 2): plain "num" syntax (removed "#");
2001-10-05 wenzelm 2001-10-05 sane numerals (stage 1): added generic 1, removed 1' and 2 on nat, "num" syntax (still with "#"), Numeral0, Numeral1;
2000-05-04 paulson 2000-05-04 changed 2 to #2
2000-01-31 oheimb 2000-01-31 added IMPP to HOL