src/HOL/ex/Binary.thy
2011-05-15 wenzelm 2011-05-15 simplified/unified method_setup/attribute_setup;
2011-04-08 wenzelm 2011-04-08 discontinued special treatment of structure Lexicon;
2010-02-22 haftmann 2010-02-22 merged
2010-02-19 haftmann 2010-02-19 moved remaning class operations from Algebras.thy to Groups.thy
2010-02-21 wenzelm 2010-02-21 slightly more abstract syntax mark/unmark operations;
2010-02-11 wenzelm 2010-02-11 modernized translations; formal markup of @{syntax_const} and @{const_syntax};
2010-01-28 haftmann 2010-01-28 new theory Algebras.thy for generic algebraic structures
2009-03-16 wenzelm 2009-03-16 simplified method setup;
2009-03-13 wenzelm 2009-03-13 unified type Proof.method and pervasive METHOD combinators;
2008-03-01 wenzelm 2008-03-01 use more antiquotations;
2007-09-18 wenzelm 2007-09-18 simplified type int (eliminated IntInf.int, integer);
2007-08-10 wenzelm 2007-08-10 tuned ML bindings;
2007-05-17 haftmann 2007-05-17 canonical prefixing of class constants
2007-02-01 wenzelm 2007-02-01 tuned;
2007-01-29 wenzelm 2007-01-29 proper simproc_setup; tuned ML setup;
2007-01-22 wenzelm 2007-01-22 tuned;
2007-01-21 wenzelm 2007-01-21 tuned ML setup;
2007-01-21 wenzelm 2007-01-21 tuned comments
2007-01-20 wenzelm 2007-01-20 Simple and efficient binary numerals.