src/HOL/ex/Lagrange.thy
2005-09-14 wenzelm 2005-09-14 tuned headers etc.;
2005-07-07 paulson 2005-07-07 updated comment
2005-06-25 nipkow 2005-06-25 Changes due to new abel_cancel.ML
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2004-07-20 nipkow 2004-07-20 ring_1 -> ring
2004-05-11 obua 2004-05-11 changes made due to new Ring_and_Field theory
2004-04-16 nipkow 2004-04-16 Moved ring stuff from ex into Ring_and_Field.
2001-06-13 paulson 2001-06-13 tidied
1998-06-25 paulson 1998-06-25 Installation of target HOL-Real
1996-11-26 nipkow 1996-11-26 A bit of commutative ing theory, with a simplification tacxtic and an example.