Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)
Summary
- merge
- tuned lemma by dropping one assumption
- lemma statement w.r.t. final version of related paper
The file was modified | thys/Orient_Rewrite_Rule_Undecidable/Delta_Poly_Termination_Undecidable.thy |
The file was modified | thys/Orient_Rewrite_Rule_Undecidable/Preliminaries_on_Polynomials_2.thy |
The file was modified | thys/Orient_Rewrite_Rule_Undecidable/Delta_Poly_Termination_Undecidable.thy |