prio/ExtGG.thy
2012-02-13 urbanc merged Xingyuan's changes
2012-02-12 zhang Correct a mistake.
2012-02-12 zhang runing_inversion_3 added.
2012-02-12 urbanc completed model section; vt has only state as argument
2012-02-10 urbanc more on paper
2012-01-27 zhang Newer version.
2012-01-24 urbanc initial version of the PIP formalisation
less more (0) tip