isabelle: File revisions

src/HOL/Matrix/LP.thy

Fri, 14 Jan 2011 15:44:47 +0100	wenzelm	eliminated global prems;	file \| diff \| annotate
Wed, 29 Dec 2010 17:34:41 +0100	wenzelm	explicit file specifications -- avoid secondary load path;	file \| diff \| annotate
Mon, 19 Jul 2010 16:09:43 +0200	haftmann	discontinued pretending that abel_cancel is logic-independent; cleaned up junk	file \| diff \| annotate
Mon, 08 Feb 2010 14:06:41 +0100	haftmann	separate library theory for type classes combining lattices with various algebraic structures	file \| diff \| annotate
Fri, 05 Feb 2010 14:33:50 +0100	haftmann	more consistent naming of type classes involving orderings (and lattices) -- c.f. NEWS	file \| diff \| annotate
Wed, 02 Sep 2009 16:25:44 +0200	wenzelm	reorganized Compute theories for HOL-Matrix -- avoiding theory files within main HOL/Tools;	file \| diff \| annotate
Wed, 28 Jan 2009 16:29:16 +0100	nipkow	Replaced group_ and ring_simps by algebra_simps;	file \| diff \| annotate
Sat, 23 Jun 2007 19:33:22 +0200	nipkow	tuned and renamed group_eq_simps and ring_eq_simps	file \| diff \| annotate
Sun, 23 Apr 2006 10:57:48 +0200	obua	added LP.thy	file \| diff \| annotate

isabelle