ap.parser
Introduction of triggers using the complete strategy that avoids the need for totality axioms (as in Kanger's calculus).
Introduction of triggers using the complete strategy that avoids the need for totality axioms (as in Kanger's calculus).