Paper/Paper.thy
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
less more (0) -30 -10 -3 tip