chapter Instance_Lambda_Syntax

session Instance_Lambda_Syntax = Interface +
  description {*  Instances of the framework to:
(1) the syntax of lambda-calculus and 
(2) the syntax of lambda-calculus with emphasized values
*}
  options [browser_info, timeout = 2400]
  theories
    L_Inter
    LV_Inter


