author | wenzelm |
Sun, 21 Mar 2021 23:16:34 +0100 | |
changeset 73462 | 8995cab6b7a6 |
parent 71924 | e5df9c8d9d4b |
child 74286 | 641300b56ebe |
permissions | -rw-r--r-- |
chapter Pure session Pure = description " The Pure logical framework. " options [threads = 1, export_proofs, export_standard_proofs, prune_proofs = false] theories [export_theory] Pure (global) theories ML_Bootstrap (global) Sessions session "Pure-Examples" in Examples = Pure + description " Notable Examples in Isabelle/Pure. " theories First_Order_Logic Higher_Order_Logic document_files "root.bib" "root.tex"