src/HOL/Word/Word.thy
2010-12-29 wenzelm 2010-12-29 explicit file specifications -- avoid secondary load path;
2010-12-07 boehmes 2010-12-07 moved smt_word.ML into the directory of the Word library
2010-11-30 haftmann 2010-11-30 code preprocessor setup for numerals on word type; less meta-equalites; more xsymbols; less implicit propositions
2010-10-01 haftmann 2010-10-01 constant `contents` renamed to `the_elem`
2010-09-13 nipkow 2010-09-13 renamed lemmas: ext_iff -> fun_eq_iff, set_ext_iff -> set_eq_iff, set_ext -> set_eqI
2010-09-07 nipkow 2010-09-07 expand_fun_eq -> ext_iff expand_set_eq -> set_ext_iff Naming in line now with multisets
2010-08-27 haftmann 2010-08-27 renamed class/constant eq to equal; tuned some instantiations
2010-08-18 haftmann 2010-08-18 moved spurious auxiliary lemma here
2010-07-19 haftmann 2010-07-19 diff_minus subsumes diff_def
2010-07-09 haftmann 2010-07-09 nicer xsymbol syntax for fcomp and scomp
2010-07-01 haftmann 2010-07-01 avoid bitstrings in generated code
2010-06-30 haftmann 2010-06-30 one unified Word theory
2010-05-12 boehmes 2010-05-12 layered SMT setup, adapted SMT clients, added further tests, made Z3 proof abstraction configurable
2010-02-08 haftmann 2010-02-08 tuned spelling
2009-01-26 haftmann 2009-01-26 entry point for Word library now named Word