whitespace tuning

tuned signature

canonical names of classes

merged

register all (co)datatypes in local data

create data structure for storing (co)datatype information

avoid empty isabelletags.sty for the sake of arXiv;

merged

cygwin_root as optional argument; tuned;

use record instead of big tuple

clarified module dependencies: avoid Properties and Document introding minimal "PIDE";

merge

use base names, not full names

tune signatures

tuning

tuning

removed unreferenced thm

tuned function signatures

factored out derivation of coinduction, unfold, corec

code tuning

factored out derivation of induction principles, folds and recs, in preparation for reduction of nested to mutual

tuned

tuned operator precedence

use record instead of huge tuple

renamed BNF "(co)data" commands to names that are closer to their final names

tuned

tuned

tuned