inferences.tex
2012-10-28 Christian Urban added inferences
less more (0) tip