src/HOL/Matrix_LP/float_arith.ML
2014-11-26 wenzelm 2014-11-26 renamed "pairself" to "apply2", in accordance to @{apply 2};
2014-03-22 wenzelm 2014-03-22 more antiquotations; clarified file location;