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
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 tip