Pearl-jv/Paper.thy
2010-04-11 Christian Urban folded changes from the conference version
2010-04-08 Christian Urban some further changes
2010-04-08 Christian Urban added new paper directory for further work
less more (0) tip