Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. merge
  2. generalized lemma subst_same_var_weakly_monotone_imp_same_degree
Changeset 14360:6c50cdbe30b3 by rene thiemann _rene.thiemann@uibk.ac.at_:
merge
Changeset 14359:7fde068d1955 by rene thiemann _rene.thiemann@uibk.ac.at_:
generalized lemma subst_same_var_weakly_monotone_imp_same_degree
The file was modified thys/Orient_Rewrite_Rule_Undecidable/Poly_Termination_Undecidable.thy