killed exceptional code that is anyway no longer needed, now that the 'simp' attribute has been taken away -- this solves issues in 'primcorec'

cleaner handling of collapse theorems

repaired latex (cf. 84522727f9d3);

updated NEWS

dropped dead code

don't declare ctr view primcorec theorems as simp (they loop)

simplified code; eliminated some dummyTs

avoid infinite loop for unapplied terms + tuning

generalize code to handle zero-argument case gracefully (e.g. for nullay functions defined over codatatypes that corecurse through "fun"

give lambda abstractions a chance, as an alternative to function composition, for corecursion via "fun"

added auxiliary function

avoid parameter

added helper function for code equations in primcorec

updated NEWS and CONTRIBUTORS

split functionality into two functions to avoid redoing work over and over

added massaging function for primcorec code equations

simplified code

no need for beta-eta contraction

generalize helper function

generate more theorems (e.g. for types with only one constructor)

added two functions to List (one contributed by Manuel Eberl)

generate constructor view theorems

merged;

merged;

tuned proofs;

tuned proofs;

added option "jedit_auto_load"; allow in-place change of option "editor_continuous_checking";

limit for text height;