Theory AstAuxiliary

theory AstAuxiliary
imports Ast
chapter ‹Generated by Lem from ‹semantics/ast.lem›.›

theory "AstAuxiliary" 

imports
  Main
  "HOL-Library.Datatype_Records"
  "LEM.Lem_pervasives"
  "Lib"
  "Namespace"
  "FpSem"
  "Ast"

begin 


― ‹‹**************************************************››
― ‹‹                                                  ››
― ‹‹ Termination Proofs                               ››
― ‹‹                                                  ››
― ‹‹**************************************************››

termination pat_bindings by lexicographic_order



end