ROOT - avl-verification - Isabelle fork of https://github.com/RaitoBezarius/avl-verification

summary refs log tree commit diff

path: root/ROOT

blob: 18d302f4df70bb22a8f584edf9c39478d50e229e (plain)

session "avl-verification" = "Aeneas" +
  options [document = pdf, document_output = "output"]
  theories
    Notraits
    Verification
  document_files
    "root.tex"