2010-07-02 ago drop unconvenient code declarations
2010-06-01 ago tuned code setup
2010-05-11 ago speed up some proofs, fixing linarith_split_limit warnings
2009-03-23 ago Main is (Complex_Main) base entry point in library theories
2009-03-03 ago removed and renamed redundant lemmas
2008-10-10 ago `code func` now just `code`
2008-07-18 ago moved op dvd to theory Ring_and_Field; generalized a couple of lemmas
2008-07-07 ago absolute imports of HOL/*.thy theories
2008-06-26 ago established Plain theory and image
2008-02-26 ago some more primrec
2008-02-17 ago New simpler representation of numerals, using Bit0 and Bit1 instead of BIT, B0, and B1
2007-06-14 ago tuned proofs;
2007-04-26 ago moved code generation pretty integers and characters to separate theories