chapter Interface

session Interface = Binding_Syntax_Theory +
  description {* The Abstract Incompleteness Theorems *}
  options [browser_info, timeout = 2400]
  theories
    Inter2

