src/HOL/Matrix/Matrix.thy
2007-07-20 haftmann 2007-07-20 split class abs from class minus
2007-06-23 nipkow 2007-06-23 tuned and renamed group_eq_simps and ring_eq_simps
2007-03-16 haftmann 2007-03-16 adjusted to new lattice theory developement in Lattices.thy / FixedPoint.thy
2007-03-09 haftmann 2007-03-09 stepping towards uniform lattice theory development in HOL
2006-11-12 nipkow 2006-11-12 started reorgnization of lattice theories
2006-09-20 wenzelm 2006-09-20 renamed axclass_xxxx axclasses;
2005-10-19 wenzelm 2005-10-19 isatool fixheaders;
2005-07-07 nipkow 2005-07-07 linear arithmetic now takes "&" in assumptions apart.
2005-02-01 paulson 2005-02-01 the new subst tactic, by Lucas Dixon
2004-09-03 obua 2004-09-03 Matrix theory, linear programming
2004-06-14 obua 2004-06-14 Further development of matrix theory
2004-05-11 obua 2004-05-11 changes made due to new Ring_and_Field theory
2004-05-10 obua 2004-05-10 preparation for integration with new Ring_and_Field.thy
2004-05-01 wenzelm 2004-05-01 tuned instance statements;
2004-04-23 wenzelm 2004-04-23 proper document setup;
2004-04-16 obua 2004-04-16 first version of matrices for HOL/Isabelle