src/HOL/Library/Library/ROOT.ML
Mon, 01 Aug 2005 11:39:33 +0200 obua 1. changed configuration variables for linear programming (Cplex_tools):
Tue, 03 Jul 2001 22:11:09 +0200 wenzelm Library/ROOT.ML moved to Library/Library/ROOT.ML to avoid accidential
less more (0) tip