Keyword: well founded recursion

• RecursiveDefinition: ML-like recursive definitions
  Antonia Balaa , Yves Bertot