prio/CpsG.thy
2012-04-16 zhang The result for "Set" operation gets strengthened.
2012-02-28 urbanc fixed typo
2012-02-20 urbanc some polishing of the repository
2012-02-13 urbanc added implementation section
2012-02-12 urbanc completed model section; vt has only state as argument
2012-02-10 urbanc more on paper
2012-02-01 zhang All comments added.
2012-01-24 urbanc initial version of the PIP formalisation
less more (0) tip