#206 (May 22, 2016, 7:50:09 AM)

1. merged from SF repository which should not be writable (detail / hgweb)
2. Small improvements to Call_Arity and Launchbury
   
   While preparing my doctoral thesis, I touched a few parts of these
   theories, mostly improving the presentation and polishing it a bit. This
   merges these changes back into the AFP, so that they correspond to
   what I published at http://www.joachim-breitner.de/thesis/ (detail / hgweb)
3. Call_Arity: Update bibliography
   
   as my paper got accepted at Haskell'15. (detail / hgweb)

Started by an SCM change