isabelle: Changelog

blanchet [Tue, 11 Sep 2012 18:39:47 +0200] rev 49286

added "defaults" option

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)

blanchet [Tue, 11 Sep 2012 17:36:09 +0200] rev 49284

spin off "bnf_def_tactics.ML"

blanchet [Tue, 11 Sep 2012 17:14:49 +0200] rev 49283

move "bnf_util.ML" to "BNF_Util.thy"

blanchet [Tue, 11 Sep 2012 17:09:39 +0200] rev 49282

renamed "BNF_Library" to "BNF_Util"

blanchet [Tue, 11 Sep 2012 17:06:27 +0200] rev 49281

generate all sel theorems

blanchet [Tue, 11 Sep 2012 16:08:55 +0200] rev 49280

allow default values for selectors in low-level "wrap_data" command

blanchet [Tue, 11 Sep 2012 16:08:27 +0200] rev 49279

removed needless "infer_types" call

blanchet [Tue, 11 Sep 2012 14:51:52 +0200] rev 49278

added no_dests option

blanchet [Tue, 11 Sep 2012 13:10:34 +0200] rev 49277

tuning

isabelle