doc/intro
Merge branch 'master' of mobileink.github.com:mobileink/proofiness
fix permissions, finish mv rsch to ast