2012-04-20 zhang Intuitive definition of "detached" is added to PrioG.thy.
2012-04-17 urbanc added an acknowledgement
2012-04-17 urbanc some small tuning
2012-04-17 urbanc some small improvements
2012-04-16 urbanc ???-marks
2012-04-16 urbanc changes requested by the reviewers
2012-04-16 urbanc polished
2012-04-16 zhang The result for "Set" operation gets strengthened.
2012-04-15 urbanc added some of the comments of the reviewers and made it compile with current Isabelle
2012-04-13 urbanc made the changes thes 2nd referee suggested and made it to compile again
2012-03-06 urbanc typo
2012-02-28 urbanc fixed typo
2012-02-27 urbanc typo
2012-02-22 urbanc partially updated conference paper; slightly tuned journal paper
2012-02-20 urbanc some polishing of the repository
2012-02-16 urbanc one typo
2012-02-14 urbanc changes by Xingyuan
2012-02-14 urbanc changed
2012-02-14 urbanc live
2012-02-14 urbanc live
2012-02-14 urbanc draft
2012-02-14 urbanc draft
2012-02-14 urbanc key lemma
2012-02-14 urbanc fixed 1st paragraph
2012-02-14 urbanc 1st paragraph
2012-02-13 urbanc 1st paragraph
2012-02-13 urbanc polished implementation
2012-02-13 zhang Line numbers added.
2012-02-13 urbanc conclusion done
2012-02-13 urbanc more conclusion
2012-02-13 urbanc more conclusion
2012-02-13 urbanc more conclusion
2012-02-13 urbanc more conclusion
2012-02-13 urbanc some parts of the conclusion
2012-02-13 urbanc proof idea
2012-02-13 urbanc added implementation section
2012-02-13 urbanc merged Xingyuan's changes
2012-02-13 urbanc polished
2012-02-13 urbanc more on the paper
2012-02-13 urbanc more on the paper
2012-02-13 urbanc assumptions
2012-02-13 urbanc some polishing
2012-02-12 urbanc some polishing
2012-02-12 urbanc contribution section
2012-02-12 zhang Correct a mistake.
2012-02-12 zhang runing_inversion_3 added.
2012-02-12 urbanc lates
2012-02-12 urbanc correct RAG
2012-02-12 urbanc small polishing
2012-02-12 urbanc completed model section; vt has only state as argument
2012-02-11 urbanc added picture
2012-02-11 urbanc spell check; release
2012-02-11 urbanc fixed problem with back
2012-02-11 urbanc renamed waiting_queue -> wq_fun; cur_preced -> cprec_fun
2012-02-11 urbanc some polishing
2012-02-11 urbanc fixed problem with Latexsugar
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 attempt to fix problem by Xingyuan
2012-02-09 urbanc changes by Xingyuan
(0) -300 -100 -60 tip