2013-07-05 | Christian Urban |
polished more and updated to new isabelle | file | diff | annotate |
2012-12-03 | Christian Urban |
made changes and updates to the journal paper | file | diff | annotate |
2011-08-22 | urbanc | changes according to afp-submission | file | diff | annotate |
2011-07-25 | urbanc | made the theories compatible with the existing developments in the AFP; old theories are in the directory Attic | file | diff | annotate |