src/HOL/Matrix/LP.thy
2007-06-23 nipkow 2007-06-23 tuned and renamed group_eq_simps and ring_eq_simps
2006-04-23 obua 2006-04-23 added LP.thy