Merge pull request #2 from yzf/Yzf

yzf!!
Merge pull request #3 from yzf/Yzf

yzf!!的修改
add a print function
Merge pull request #4 from yzf/RayHuo

add a print function ok pass
修复prenex.cpp里面的一个bug
调整排版