#104 (Mar 22, 2016, 3:47:07 PM)

1. tuned whitespace (detail / hgweb)
2. compile (detail / hgweb)
3. added 'corec' examples and tests (detail / hgweb)
4. file header (detail / hgweb)
5. added two 'corec' examples (detail / hgweb)
6. document addition of 'corec' (detail / hgweb)
7. moved 'corec' from ssh://hg@bitbucket.org/jasmin_blanchette/nonprim-corec to Isabelle (detail / hgweb)
8. put all 'bnf_*.ML' files together, irrespective of bootstrapping/dependency constraints (detail / hgweb)

Started by an SCM change