diff -r 4436039cc5e1 -r 05ccb61aa628 IsaMakefile
--- a/IsaMakefile	Fri Jul 22 11:52:12 2011 +0100
+++ b/IsaMakefile	Fri Aug 12 22:37:41 2011 +0200
@@ -32,6 +32,15 @@
 	$(ISABELLE_TOOL) document -o pdf  ESOP-Paper/generated
 	@cp ESOP-Paper/document.pdf esop-paper.pdf
 
+## LMCS Paper
+
+lmcs: $(LOG)/HOL-LMCS-Paper.gz
+
+$(LOG)/HOL-LMCS-Paper.gz: LMCS-Paper/ROOT.ML LMCS-Paper/document/root.* LMCS-Paper/*.thy
+	@$(USEDIR) -f ROOT.ML -D generated Nominal2 LMCS-Paper
+	$(ISABELLE_TOOL) document -o pdf  LMCS-Paper/generated
+	@cp LMCS-Paper/document.pdf lmcs-paper.pdf
+
 ## Pearl Paper ITP
 
 pearl: $(LOG)/HOL-Pearl.gz