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. tuned lemma by dropping one assumption
  3. lemma statement w.r.t. final version of related paper
Changeset 14358:7b72e59e784a by rene thiemann _rene.thiemann@uibk.ac.at_:
merge
Changeset 14357:ab099b2aad25 by rene thiemann _rene.thiemann@uibk.ac.at_:
tuned lemma by dropping one assumption
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
Changeset 14356:0fc2d9d5dd6b by rene thiemann _rene.thiemann@uibk.ac.at_:
lemma statement w.r.t. final version of related paper
The file was modified thys/Orient_Rewrite_Rule_Undecidable/Delta_Poly_Termination_Undecidable.thy