26 ## Nominal2 Paper

    26 ## Nominal2 Paper

    27 

    27 

    28 paper: $(LOG)/HOL-Nominal2-Paper.gz

    28 paper: $(LOG)/HOL-Nominal2-Paper.gz

    29 

    29 

    30 $(LOG)/HOL-Nominal2-Paper.gz: Paper/ROOT.ML Paper/document/root.* Paper/*.thy

    30 $(LOG)/HOL-Nominal2-Paper.gz: Paper/ROOT.ML Paper/document/root.* Paper/*.thy

    31 	@$(USEDIR) -D generated HOL Paper

    32 	@$(USEDIR) -D generated HOL Paper

    32 	$(ISABELLE_TOOL) document -o pdf  Paper/generated

    33 	$(ISABELLE_TOOL) document -o pdf  Paper/generated

    33 	@cp Paper/document.pdf paper.pdf

    34 	@cp Paper/document.pdf paper.pdf

    34 

    35 

    35 ## Pearl Paper ITP

    36 ## Pearl Paper ITP