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