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;
Tue, 05 Oct 2010 14:19:43 +0200 krauss removed complicated (and rarely helpful) error reporting
Tue, 05 Oct 2010 14:19:40 +0200 krauss discontinued continuations to simplify control flow; dropped optimization in scnp
Tue, 05 Oct 2010 14:19:38 +0200 krauss use Cache structure instead of passing tables around explicitly
less more (0) -10 -6 tip