src/HOL/Matrix_LP/Compute_Oracle/Compute_Oracle.thy
Tue, 23 Feb 2016 16:25:08 +0100 nipkow more canonical names
Wed, 22 Aug 2012 22:55:41 +0200 wenzelm prefer ML_file over old uses;
less more (0) -2 tip