Journal/Paper.thy
2013-07-27 Christian Urban started journal version
less more (0) tip