reworked axioms in dtp
removed univ quantif from rules
centered rules
Merge branch 'master' into gh-pages
update pdf