Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- session "techreport" = "HOL" +
- options [document = pdf, document_output = "output"]
- theories [document = false]
- Nominal2
- theories
- IsarIntroduction
- files "document/root.tex"
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement