src/HOL/Matrix/LP.thy
2006-04-23 obua 2006-04-23 added LP.thy