src/Doc/Datatypes/Datatypes.thy
2013-09-11 blanchet 2013-09-11 more (co)data docs
2013-09-11 blanchet 2013-09-11 more (co)data docs
2013-09-11 blanchet 2013-09-11 more (co)data docs
2013-09-11 blanchet 2013-09-11 more (co)data docs
2013-09-11 blanchet 2013-09-11 more (co)datatype documentation
2013-09-09 blanchet 2013-09-09 more docs
2013-08-30 panny 2013-08-30 fixed bug in primrec_new (allow indirect recursion through constructor arguments other than the first)
2013-08-30 traytel 2013-08-30 Doc improvements
2013-08-30 traytel 2013-08-30 prove theorem in the right context (that knows about local variables)
2013-08-30 blanchet 2013-08-30 fixed docs w.r.t. availability of "primrec_new" and friends
2013-08-29 blanchet 2013-08-29 rationalize message generation + added a warning
2013-08-29 blanchet 2013-08-29 documentation ideas
2013-08-22 blanchet 2013-08-22 ideas for (co)datatype docs
2013-08-14 blanchet 2013-08-14 more (co)datatype documentation
2013-08-14 blanchet 2013-08-14 more work on (co)datatype docs
2013-08-13 blanchet 2013-08-13 added rail diagram
2013-08-12 blanchet 2013-08-12 clarified option name (since case/fold/rec are also destructors)
2013-08-06 blanchet 2013-08-06 export ML function (for primcorec)
2013-08-02 blanchet 2013-08-02 more (co)datatype docs
2013-08-02 blanchet 2013-08-02 more (co)datatype documentation
2013-08-02 blanchet 2013-08-02 more (co)datatype documentation
2013-08-01 blanchet 2013-08-01 minor doc fixes
2013-08-01 blanchet 2013-08-01 more (co)datatype docs
2013-08-01 blanchet 2013-08-01 more (co)datatype documentation
2013-08-01 blanchet 2013-08-01 more (co)datatype documentation
2013-08-01 blanchet 2013-08-01 more (co)datatype docs
2013-07-31 blanchet 2013-07-31 more work on (co)datatype docs
2013-07-31 blanchet 2013-07-31 more (co)datatype documentation
2013-07-30 blanchet 2013-07-30 removed spurious headings
2013-07-30 blanchet 2013-07-30 more (co)datatype documentation
2013-07-30 blanchet 2013-07-30 sketched documentation for new (co)datatype package