LMCS-Paper/ROOT.ML
2011-08-12 Christian Urban started lmcs paper (isabelle make lmcs)
less more (0) tip