Paper/Paper.thy
2013-09-12 Christian Urban updated to new Isabelle
2012-02-22 urbanc partially updated conference paper; slightly tuned journal paper
2011-07-25 urbanc made the theories compatible with the existing developments in the AFP; old theories are in the directory Attic
2011-06-02 urbanc updated theories and itp-paper
2011-05-18 urbanc added directory for journal version; took uptodate version of the theory files
2011-05-09 urbanc added comments from Chunhan
2011-05-04 urbanc edits; sqeezed to 16 pages
2011-04-21 urbanc a small change
2011-04-21 urbanc a few more changes
2011-04-19 urbanc implemented most suggestions from the reviewers
2011-03-23 urbanc added the most current versions of the theories.
2011-03-15 urbanc corrected small typo
2011-03-05 urbanc formalisation of first direction is now only 780 loc
2011-02-26 urbanc changed one occurence of tagging function into tagging relation
2011-02-22 urbanc three typos
2011-02-21 urbanc one further polishing
2011-02-21 urbanc final final polishing
2011-02-21 urbanc final polished
2011-02-21 urbanc chunhan's comments
2011-02-20 urbanc minor change
2011-02-20 urbanc comments by Xingyuan
2011-02-20 urbanc chunhan's comments
2011-02-20 urbanc pre-final version
2011-02-20 urbanc minor
2011-02-20 urbanc finished picture
2011-02-20 urbanc seq case finished
2011-02-20 urbanc latest update
2011-02-20 urbanc added pictures for seq-case
2011-02-20 urbanc added definition of string prefix and string subtraction
2011-02-20 urbanc polished everywhere...two cases still missing
less more (0) -50 -30 tip