switched from Isabelle2014 to Isabelle2015, intermediate state

Note: we dropped jEditC, since libisabelle took over.

src/Pure

src/FOL

src/HOL

src/ZF

src/CCL

src/CTT

src/Cube

src/FOLP

src/LCF

src/Sequents

src/Doc

src/Tools