Pearl-jv/Paper.thy
2010-07-25 Christian Urban added paper by james; some minor cleaning
less more (0) -1 tip