src/HOL/Matrix_LP/Compute_Oracle/Compute_Oracle.thy
Wed, 22 Aug 2012 22:55:41 +0200 wenzelm prefer ML_file over old uses;
less more (0) -1 tip