Wed, 12 Sep 2012 11:14:44 +0200 wenzelm tuned error;
Wed, 12 Sep 2012 10:18:31 +0200 traytel option_pred characterization
Wed, 12 Sep 2012 09:39:41 +0200 traytel true vs. True in pattern matching
Wed, 12 Sep 2012 06:35:07 +0200 blanchet reduced theory dependencies
Wed, 12 Sep 2012 06:30:35 +0200 blanchet tuning
Wed, 12 Sep 2012 06:27:48 +0200 blanchet moved theorems closer to where they are used
Wed, 12 Sep 2012 06:27:36 +0200 blanchet tuning
Wed, 12 Sep 2012 05:29:21 +0200 blanchet renamed "Ordinals_and_Cardinals" to "Cardinals"
Wed, 12 Sep 2012 05:21:47 +0200 blanchet split basic BNFs into really basic ones and others, and added Andreas Lochbihler's "option" BNF
Wed, 12 Sep 2012 05:03:18 +0200 blanchet reorganized dependencies so that the sugar does not depend on GFP -- this will be essential for bootstrapping
Wed, 12 Sep 2012 02:06:31 +0200 blanchet tuning
Wed, 12 Sep 2012 02:05:06 +0200 blanchet tuning annotations
Wed, 12 Sep 2012 02:05:05 +0200 blanchet tuned antiquotations
Wed, 12 Sep 2012 02:05:04 +0200 blanchet tuning
Wed, 12 Sep 2012 02:05:03 +0200 blanchet tuning
Wed, 12 Sep 2012 00:55:11 +0200 blanchet added optional qualifiers for constructors and destructors, similarly to the old package
Wed, 12 Sep 2012 00:20:37 +0200 blanchet adapted example
Wed, 12 Sep 2012 00:20:37 +0200 blanchet added attributes to theorems
Tue, 11 Sep 2012 23:27:19 +0200 wenzelm merged
Tue, 11 Sep 2012 22:31:43 +0200 blanchet support for sort constraints in new (co)data commands
Tue, 11 Sep 2012 22:13:22 +0200 blanchet provide a programmatic interface for FP sugar
Tue, 11 Sep 2012 23:26:03 +0200 wenzelm some GUI support for color options;
Tue, 11 Sep 2012 22:59:25 +0200 wenzelm more precise sections;
Tue, 11 Sep 2012 22:54:12 +0200 wenzelm provide color values via options;
Tue, 11 Sep 2012 20:22:03 +0200 wenzelm prefer tuning parameters as public methods (again) -- to allow overriding in applications;
Tue, 11 Sep 2012 19:49:17 +0200 wenzelm updated keywords;
Tue, 11 Sep 2012 19:45:12 +0200 wenzelm merged
Tue, 11 Sep 2012 19:43:06 +0200 wenzelm tuned;
Tue, 11 Sep 2012 19:35:21 +0200 wenzelm more informative tooltip: default value;
Tue, 11 Sep 2012 19:19:39 +0200 wenzelm more options;
Tue, 11 Sep 2012 18:58:29 +0200 blanchet allow defaults for one datatype to involve the constructor of another one in the mutually recursive case
Tue, 11 Sep 2012 18:39:47 +0200 blanchet added "defaults" option
Tue, 11 Sep 2012 18:12:23 +0200 blanchet removed wrong "transpose" and ensure "sel" theorems are put in the right order (grouped per selector, in the order in which the selectors appear)
Tue, 11 Sep 2012 17:36:09 +0200 blanchet spin off "bnf_def_tactics.ML"
Tue, 11 Sep 2012 17:14:49 +0200 blanchet move "bnf_util.ML" to "BNF_Util.thy"
Tue, 11 Sep 2012 17:09:39 +0200 blanchet renamed "BNF_Library" to "BNF_Util"
Tue, 11 Sep 2012 17:06:27 +0200 blanchet generate all sel theorems
Tue, 11 Sep 2012 16:08:55 +0200 blanchet allow default values for selectors in low-level "wrap_data" command
Tue, 11 Sep 2012 16:08:27 +0200 blanchet removed needless "infer_types" call
Tue, 11 Sep 2012 14:51:52 +0200 blanchet added no_dests option
Tue, 11 Sep 2012 13:10:34 +0200 blanchet tuning
Tue, 11 Sep 2012 13:06:14 +0200 blanchet finished splitting sum types for corecursors
Tue, 11 Sep 2012 13:06:14 +0200 blanchet split sum types in corecursor definition
Tue, 11 Sep 2012 13:06:13 +0200 blanchet first step towards splitting corecursor function arguments into (p, g, h) triples
Tue, 11 Sep 2012 13:06:13 +0200 blanchet reverted "id" change: The problem is rather that the "%c. f c" argument sometimes gets eta-reduced
Tue, 11 Sep 2012 16:10:54 +0200 wenzelm replaced jedit_relative_font_size by jedit_font_scale;
Tue, 11 Sep 2012 15:59:35 +0200 wenzelm need to provide label via some jEdit property;
Tue, 11 Sep 2012 15:47:42 +0200 wenzelm some support to organize options in sections;
Tue, 11 Sep 2012 11:53:34 +0200 wenzelm merged
Tue, 11 Sep 2012 09:40:05 +0200 blanchet generate "id" rather than (%v. v)
Tue, 11 Sep 2012 09:40:05 +0200 blanchet correctly generate sel_coiter and sel_corec theorems
Mon, 10 Sep 2012 21:44:43 +0200 blanchet generate "sel_coiters" and friends
Mon, 10 Sep 2012 18:50:27 +0200 blanchet sanity check
Mon, 10 Sep 2012 18:29:55 +0200 blanchet implemented and use "mk_sum_casesN_balanced"
Mon, 10 Sep 2012 17:52:01 +0200 blanchet fixed general case of "mk_sumEN_balanced"
Mon, 10 Sep 2012 17:36:02 +0200 blanchet debug
Mon, 10 Sep 2012 17:36:02 +0200 blanchet fixed base case of "mk_sumEN_balanced"
Mon, 10 Sep 2012 17:36:02 +0200 blanchet prevent inconsistent selector types
Mon, 10 Sep 2012 17:36:02 +0200 blanchet minor optimization
Mon, 10 Sep 2012 17:36:02 +0200 blanchet allow same selector name for several constructors
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip