src/HOL/ex/Adder.thy
2007-06-23 nipkow 2007-06-23 tuned and renamed group_eq_simps and ring_eq_simps
2006-11-17 wenzelm 2006-11-17 more robust syntax for definition/abbreviation/notation;
2006-10-01 wenzelm 2006-10-01 tuned proofs;
2006-07-26 webertj 2006-07-26 linear arithmetic splits certain operators (e.g. min, max, abs)
2006-05-27 wenzelm 2006-05-27 tuned;
2005-09-14 wenzelm 2005-09-14 tuned headers etc.;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2004-06-24 paulson 2004-06-24 tidied
2004-04-15 nipkow 2004-04-15 Added ex/Exceptions.thy
2004-03-29 skalberg 2004-03-29 Added bitvector library (Word) to HOL/Library and a theory using it (Adder) to HOL/ex.