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