修复prenex.cpp里面的一个bug
调整排版
Merge pull request #6 from yzf/Yzf

Yzf