prio/Moment.thy
2012-04-15 urbanc added some of the comments of the reviewers and made it compile with current Isabelle
2012-02-28 urbanc fixed typo
2012-01-24 urbanc initial version of the PIP formalisation
less more (0) tip