Pearl-jv/Paper.thy
2010-05-04 Christian Urban some preliminary changes to the pearl-jv paper
2010-04-30 Christian Urban replaced hide by the new hide_const
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