diff options
Diffstat (limited to 'backends/IsabelleHOL/ROOT')
| -rw-r--r-- | backends/IsabelleHOL/ROOT | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/backends/IsabelleHOL/ROOT b/backends/IsabelleHOL/ROOT new file mode 100644 index 00000000..9f8e0820 --- /dev/null +++ b/backends/IsabelleHOL/ROOT @@ -0,0 +1,6 @@ +session Aeneas = "HOL-Library" + + options [document = pdf, document_output = "output"] + theories [document = false] + Primitives + document_files + "root.tex" |