Fix indentation

git-svn-id: svn+ssh://kasztan.ifj.edu.pl/home/theory/svnroot/camtoph/Axiloop/trunk@120 b3d96e63-20c6-4b12-ab6f-f754623db25f
Update PaVeReduce.nb

git-svn-id: svn+ssh://kasztan.ifj.edu.pl/home/theory/svnroot/camtoph/Axiloop/trunk@121 b3d96e63-20c6-4b12-ab6f-f754623db25f