Changes

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

Summary

merge from AFP 2024
merge from AFP 2023
New entry Orient_Rewrite_Rule_Undecidable

Changeset 14351:8d4e85a58841 by rene thiemann _rene.thiemann@uibk.ac.at_: merge from AFP 2024
Changeset 14350:800e09f6646f by rene thiemann _rene.thiemann@uibk.ac.at_: merge from AFP 2023
Changeset 14349:9ab131d51ca4 by nipkow: New entry Orient_Rewrite_Rule_Undecidable
The file was added	`metadata/entries/Orient_Rewrite_Rule_Undecidable.toml`
The file was added	`thys/Orient_Rewrite_Rule_Undecidable/Delta_Poly_Termination_Undecidable.thy`
The file was added	`thys/Orient_Rewrite_Rule_Undecidable/Hilbert10_to_Inequality.thy`
The file was added	`thys/Orient_Rewrite_Rule_Undecidable/KBO_Subterm_Coefficients_Undecidable.thy`
The file was added	`thys/Orient_Rewrite_Rule_Undecidable/Linear_Poly_Termination_Undecidable.thy`
The file was added	`thys/Orient_Rewrite_Rule_Undecidable/Makefile`
The file was added	`thys/Orient_Rewrite_Rule_Undecidable/Poly_Termination_Undecidable.thy`
The file was added	`thys/Orient_Rewrite_Rule_Undecidable/Polynomial_Interpretation.thy`
The file was added	`thys/Orient_Rewrite_Rule_Undecidable/Preliminaries_on_Polynomials_1.thy`
The file was added	`thys/Orient_Rewrite_Rule_Undecidable/Preliminaries_on_Polynomials_2.thy`
The file was added	`thys/Orient_Rewrite_Rule_Undecidable/ROOT`
The file was added	`thys/Orient_Rewrite_Rule_Undecidable/document/root.bib`
The file was added	`thys/Orient_Rewrite_Rule_Undecidable/document/root.tex`
The file was added	`web/authors/middeldorp/index.html`
The file was added	`web/authors/middeldorp/index.xml`
The file was added	`web/authors/mitterwallner/index.html`
The file was added	`web/authors/mitterwallner/index.xml`
The file was added	`web/entries/Orient_Rewrite_Rule_Undecidable.html`
The file was added	`web/sessions/orient_rewrite_rule_undecidable/index.html`
The file was modified	`metadata/authors.toml`
The file was modified	`thys/ROOTS`
The file was modified	`web/authors/index.html`
The file was modified	`web/authors/index.json`
The file was modified	`web/authors/thiemann/index.html`
The file was modified	`web/authors/thiemann/index.xml`
The file was modified	`web/data/keywords.json`
The file was modified	`web/dependencies/factor_algebraic_polynomial/index.html`
The file was modified	`web/dependencies/factor_algebraic_polynomial/index.xml`
The file was modified	`web/dependencies/first_order_terms/index.html`
The file was modified	`web/dependencies/first_order_terms/index.xml`
The file was modified	`web/dependencies/index.html`
The file was modified	`web/dependencies/knuth_bendix_order/index.html`
The file was modified	`web/dependencies/knuth_bendix_order/index.xml`
The file was modified	`web/dependencies/polynomials/index.html`
The file was modified	`web/dependencies/polynomials/index.xml`
The file was modified	`web/entries/Approximation_Algorithms.html`
The file was modified	`web/entries/Catoids.html`
The file was modified	`web/entries/Combinatorics_Words.html`
The file was modified	`web/entries/CubicalCategories.html`
The file was modified	`web/entries/Efficient_Weighted_Path_Order.html`
The file was modified	`web/entries/Factor_Algebraic_Polynomial.html`
The file was modified	`web/entries/First_Order_Terms.html`
The file was modified	`web/entries/Frequency_Moments.html`
The file was modified	`web/entries/HoareForDivergence.html`
The file was modified	`web/entries/HyperHoareLogic.html`
The file was modified	`web/entries/Hypergraph_Colourings.html`
The file was modified	`web/entries/Knuth_Bendix_Order.html`
The file was modified	`web/entries/Labeled_Transition_Systems.html`
The file was modified	`web/entries/List_Update.html`
The file was modified	`web/entries/OmegaCatoidsQuantales.html`
The file was modified	`web/entries/Polygonal_Number_Theorem.html`
The file was modified	`web/entries/Polynomials.html`
The file was modified	`web/entries/Prim_Dijkstra_Simple.html`
The file was modified	`web/entries/Propositional_Proof_Systems.html`
The file was modified	`web/entries/Pushdown_Systems.html`
The file was modified	`web/entries/Quantales_Converse.html`
The file was modified	`web/entries/Relational_Cardinality.html`
The file was modified	`web/entries/S_Finite_Measure_Monad.html`
The file was modified	`web/entries/Standard_Borel_Spaces.html`
The file was modified	`web/entries/Transport.html`
The file was modified	`web/entries/Wieferich_Kempner.html`
The file was modified	`web/entries/index.html`
The file was modified	`web/entries/index.xml`
The file was modified	`web/index.html`
The file was modified	`web/index.json`
The file was modified	`web/index.xml`
The file was modified	`web/sessions/index.xml`
The file was modified	`web/sitemap.xml`
The file was modified	`web/statistics/index.html`
The file was modified	`web/topics/index.html`
The file was modified	`web/topics/logic/index.xml`
The file was modified	`web/topics/logic/rewriting/index.html`
The file was modified	`web/topics/logic/rewriting/index.xml`