src/HOL/Tools/Function/scnp_reconstruct.ML
Mon, 10 Jan 2011 16:45:28 +0100 wenzelm added merge_options convenience;
Sun, 12 Dec 2010 21:41:01 +0100 krauss tuned headers
Wed, 03 Nov 2010 11:11:49 +0100 wenzelm replaced ancient sys_error by raise Fail, assuming that the latter is not handled specifically by the environment;
less more (0) -10 -3 tip