LMCS-Paper/Paper.thy
2011-08-16 Christian Urban more on the intro and correct style-files
2011-08-12 Christian Urban started lmcs paper (isabelle make lmcs)
less more (0) tip