Skip to content
Jenkins
log in
Dashboard
wenzelm
My Views
isabelle-all
#5255
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Timings
Environment Variables
Mercurial Build Data
Mercurial Build Data
Embeddable Build Status
Previous Build
Next Build
Failed
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