src/HOL/ex/Binary.thy
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.