src/Doc/Datatypes/Datatypes.thy
2017-08-18 wenzelm 2017-08-18 session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
2017-01-23 traytel 2017-01-23 tuned documentation
2016-08-12 wenzelm 2016-08-12 more symbols;
2016-08-11 wenzelm 2016-08-11 clarified antiquotations;
2016-04-13 wenzelm 2016-04-13 eliminated "xname" and variants;
2016-03-30 blanchet 2016-03-30 more 'corec' docs
2016-03-29 blanchet 2016-03-29 more 'corec' docs
2016-03-29 blanchet 2016-03-29 tuning
2016-03-28 blanchet 2016-03-28 tuning
2016-02-23 blanchet 2016-02-23 updated doc
2016-02-17 blanchet 2016-02-17 tuning
2016-02-17 traytel 2016-02-17 adjust 112eefe85ff0 to 532ad8de5d61
2016-02-17 traytel 2016-02-17 correct (apparently untested) e1698a9578ea
2016-02-17 traytel 2016-02-17 document predicator in datatypes
2016-02-17 traytel 2016-02-17 call the predicator of list list_all
2016-02-17 blanchet 2016-02-17 document new 'primrec' feature
2016-02-16 traytel 2016-02-16 make predicator a first-class bnf citizen
2016-02-15 blanchet 2016-02-15 document a limitation of 'primcorec'
2016-01-07 wenzelm 2016-01-07 more uniform treatment of package internals;
2016-01-06 blanchet 2016-01-06 updated docs
2015-12-04 blanchet 2015-12-04 tuned docs
2015-12-04 blanchet 2015-12-04 more documentation on 'size' plugin
2015-10-13 haftmann 2015-10-13 prod_case as canonical name for product type eliminator
2015-10-07 blanchet 2015-10-07 clarify docs
2015-10-07 blanchet 2015-10-07 updated docs
2015-10-07 blanchet 2015-10-07 made documentation more accurate
2015-10-01 blanchet 2015-10-01 tuned documentation
2015-10-01 blanchet 2015-10-01 tuned datatype docs
2015-09-24 traytel 2015-09-24 congruence rules for the relator
2015-09-24 traytel 2015-09-24 more useful properties of the relators
2015-09-01 wenzelm 2015-09-01 eliminated \<Colon>;
2015-08-12 traytel 2015-08-12 NEWS, CONTRIBUTORS, documentation for lift_bnf
2015-07-16 blanchet 2015-07-16 generalized limitation in documentation
2015-05-25 wenzelm 2015-05-25 merged, resolving conflicts in Admin/isatest/settings/afp-poly and src/HOL/Tools/Nitpick/nitpick_model.ML;
2015-05-06 blanchet 2015-05-06 corrected path in doc
2015-04-22 blanchet 2015-04-22 doc
2015-05-06 blanchet 2015-05-06 added acknowledgment
2015-04-28 blanchet 2015-04-28 tuning
2015-04-22 blanchet 2015-04-22 improved docs
2015-04-19 blanchet 2015-04-19 acknowledgment
2015-04-19 blanchet 2015-04-19 suppressed warnings
2015-04-19 blanchet 2015-04-19 updated docs, esp. relating to 'datatype_compat'
2015-04-19 kleing 2015-04-19 typo
2015-03-31 blanchet 2015-03-31 tuned doc
2015-03-27 blanchet 2015-03-27 clarified doc
2015-03-24 blanchet 2015-03-24 reordered properties
2015-03-16 traytel 2015-03-16 document property
2015-03-16 blanchet 2015-03-16 updated docs
2015-03-16 blanchet 2015-03-16 clarified documentation
2015-03-03 blanchet 2015-03-03 updated docs
2015-01-06 blanchet 2015-01-06 docs
2015-01-06 blanchet 2015-01-06 docs
2015-01-06 blanchet 2015-01-06 docs
2015-01-05 blanchet 2015-01-05 docs
2015-01-05 blanchet 2015-01-05 docs
2015-01-05 blanchet 2015-01-05 docs
2015-01-05 blanchet 2015-01-05 docs
2015-01-05 blanchet 2015-01-05 documented 'transfer' options to 'prim(co)rec'
2014-12-19 desharna 2014-12-19 document 'disc_eq_case'
2014-12-19 desharna 2014-12-19 document 'case_distrib'