Wed, 12 Sep 2012 02:05:04 +0200 tuning
blanchet [Wed, 12 Sep 2012 02:05:04 +0200] rev 49304
tuning
Wed, 12 Sep 2012 02:05:03 +0200 tuning
blanchet [Wed, 12 Sep 2012 02:05:03 +0200] rev 49303
tuning
Wed, 12 Sep 2012 00:55:11 +0200 added optional qualifiers for constructors and destructors, similarly to the old package
blanchet [Wed, 12 Sep 2012 00:55:11 +0200] rev 49302
added optional qualifiers for constructors and destructors, similarly to the old package
Wed, 12 Sep 2012 00:20:37 +0200 adapted example
blanchet [Wed, 12 Sep 2012 00:20:37 +0200] rev 49301
adapted example
Wed, 12 Sep 2012 00:20:37 +0200 added attributes to theorems
blanchet [Wed, 12 Sep 2012 00:20:37 +0200] rev 49300
added attributes to theorems
Tue, 11 Sep 2012 23:27:19 +0200 merged
wenzelm [Tue, 11 Sep 2012 23:27:19 +0200] rev 49299
merged
Tue, 11 Sep 2012 22:31:43 +0200 support for sort constraints in new (co)data commands
blanchet [Tue, 11 Sep 2012 22:31:43 +0200] rev 49298
support for sort constraints in new (co)data commands
Tue, 11 Sep 2012 22:13:22 +0200 provide a programmatic interface for FP sugar
blanchet [Tue, 11 Sep 2012 22:13:22 +0200] rev 49297
provide a programmatic interface for FP sugar
Tue, 11 Sep 2012 23:26:03 +0200 some GUI support for color options;
wenzelm [Tue, 11 Sep 2012 23:26:03 +0200] rev 49296
some GUI support for color options;
Tue, 11 Sep 2012 22:59:25 +0200 more precise sections;
wenzelm [Tue, 11 Sep 2012 22:59:25 +0200] rev 49295
more precise sections;
Tue, 11 Sep 2012 22:54:12 +0200 provide color values via options;
wenzelm [Tue, 11 Sep 2012 22:54:12 +0200] rev 49294
provide color values via options;
Tue, 11 Sep 2012 20:22:03 +0200 prefer tuning parameters as public methods (again) -- to allow overriding in applications;
wenzelm [Tue, 11 Sep 2012 20:22:03 +0200] rev 49293
prefer tuning parameters as public methods (again) -- to allow overriding in applications;
Tue, 11 Sep 2012 19:49:17 +0200 updated keywords;
wenzelm [Tue, 11 Sep 2012 19:49:17 +0200] rev 49292
updated keywords;
Tue, 11 Sep 2012 19:45:12 +0200 merged
wenzelm [Tue, 11 Sep 2012 19:45:12 +0200] rev 49291
merged
Tue, 11 Sep 2012 19:43:06 +0200 tuned;
wenzelm [Tue, 11 Sep 2012 19:43:06 +0200] rev 49290
tuned;
Tue, 11 Sep 2012 19:35:21 +0200 more informative tooltip: default value;
wenzelm [Tue, 11 Sep 2012 19:35:21 +0200] rev 49289
more informative tooltip: default value;
Tue, 11 Sep 2012 19:19:39 +0200 more options;
wenzelm [Tue, 11 Sep 2012 19:19:39 +0200] rev 49288
more options;
Tue, 11 Sep 2012 18:58:29 +0200 allow defaults for one datatype to involve the constructor of another one in the mutually recursive case
blanchet [Tue, 11 Sep 2012 18:58:29 +0200] rev 49287
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 added "defaults" option
blanchet [Tue, 11 Sep 2012 18:39:47 +0200] rev 49286
added "defaults" option
Tue, 11 Sep 2012 18:12:23 +0200 removed wrong "transpose" and ensure "sel" theorems are put in the right order (grouped per selector, in the order in which the selectors appear)
blanchet [Tue, 11 Sep 2012 18:12:23 +0200] rev 49285
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 spin off "bnf_def_tactics.ML"
blanchet [Tue, 11 Sep 2012 17:36:09 +0200] rev 49284
spin off "bnf_def_tactics.ML"
Tue, 11 Sep 2012 17:14:49 +0200 move "bnf_util.ML" to "BNF_Util.thy"
blanchet [Tue, 11 Sep 2012 17:14:49 +0200] rev 49283
move "bnf_util.ML" to "BNF_Util.thy"
Tue, 11 Sep 2012 17:09:39 +0200 renamed "BNF_Library" to "BNF_Util"
blanchet [Tue, 11 Sep 2012 17:09:39 +0200] rev 49282
renamed "BNF_Library" to "BNF_Util"
Tue, 11 Sep 2012 17:06:27 +0200 generate all sel theorems
blanchet [Tue, 11 Sep 2012 17:06:27 +0200] rev 49281
generate all sel theorems
Tue, 11 Sep 2012 16:08:55 +0200 allow default values for selectors in low-level "wrap_data" command
blanchet [Tue, 11 Sep 2012 16:08:55 +0200] rev 49280
allow default values for selectors in low-level "wrap_data" command
Tue, 11 Sep 2012 16:08:27 +0200 removed needless "infer_types" call
blanchet [Tue, 11 Sep 2012 16:08:27 +0200] rev 49279
removed needless "infer_types" call
Tue, 11 Sep 2012 14:51:52 +0200 added no_dests option
blanchet [Tue, 11 Sep 2012 14:51:52 +0200] rev 49278
added no_dests option
Tue, 11 Sep 2012 13:10:34 +0200 tuning
blanchet [Tue, 11 Sep 2012 13:10:34 +0200] rev 49277
tuning
Tue, 11 Sep 2012 13:06:14 +0200 finished splitting sum types for corecursors
blanchet [Tue, 11 Sep 2012 13:06:14 +0200] rev 49276
finished splitting sum types for corecursors
Tue, 11 Sep 2012 13:06:14 +0200 split sum types in corecursor definition
blanchet [Tue, 11 Sep 2012 13:06:14 +0200] rev 49275
split sum types in corecursor definition
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 tip