prio/PrioGDef.thy
2012-04-30 urbanc slightly changed the definition of holdends and detached
2012-02-12 urbanc completed model section; vt has only state as argument
2012-02-11 urbanc fixed problem with back
2012-02-11 urbanc renamed waiting_queue -> wq_fun; cur_preced -> cprec_fun
2012-02-10 urbanc more on paper; modified schs functions; it is still compatible with the old definition
2012-02-10 urbanc more on paper
2012-02-09 urbanc changes by Xingyuan
2012-02-09 urbanc more on the specification section
2012-01-24 urbanc initial version of the PIP formalisation
less more (0) tip