fixed postprocessing of 'coinduct' formula to obtain right property format (without needless hypotheses)
Notes on building Poly/ML as Isabelle component
===============================================
* copy README
* copy build
* copy etc/settings
* include full source (without symlink)
* include sha1 source and binary for each platform
* linux: include copy of libgmp.so with symlinks from build host