Changes

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

Summary

merge from AFP 2024
web files for Linear_Diophantine_Preprocessor
New entry Linear_Diophantine_Preprocessor

Changeset 14511:46cd93d18dac by rene thiemann _rene.thiemann@uibk.ac.at_: merge from AFP 2024
Changeset 14510:820b2c976c42 by nipkow: web files for Linear_Diophantine_Preprocessor
The file was added	`web/entries/Linear_Diophantine_Preprocessor.html`
The file was added	`web/sessions/linear_diophantine_preprocessor/index.html`
The file was modified	`web/authors/index.xml`
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/deriving/index.html`
The file was modified	`web/dependencies/deriving/index.xml`
The file was modified	`web/dependencies/farkas/index.html`
The file was modified	`web/dependencies/farkas/index.xml`
The file was modified	`web/dependencies/index.html`
The file was modified	`web/dependencies/index.xml`
The file was modified	`web/entries/Deriving.html`
The file was modified	`web/entries/Farkas.html`
The file was modified	`web/entries/Go.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/computer-science/algorithms/mathematical/index.html`
The file was modified	`web/topics/computer-science/algorithms/mathematical/index.xml`
The file was modified	`web/topics/index.html`
Changeset 14509:61def4fc46f6 by nipkow: New entry Linear_Diophantine_Preprocessor
The file was added	`metadata/entries/Linear_Diophantine_Preprocessor.toml`
The file was added	`thys/Linear_Diophantine_Preprocessor/Dio_Preprocessing_Examples.thy`
The file was added	`thys/Linear_Diophantine_Preprocessor/Dio_Preprocessor.thy`
The file was added	`thys/Linear_Diophantine_Preprocessor/Diophantine_Eqs_and_Ineqs.thy`
The file was added	`thys/Linear_Diophantine_Preprocessor/Diophantine_Tightening.thy`
The file was added	`thys/Linear_Diophantine_Preprocessor/Equality_Detection_Impl.thy`
The file was added	`thys/Linear_Diophantine_Preprocessor/Equality_Detection_Theory.thy`
The file was added	`thys/Linear_Diophantine_Preprocessor/Linear_Diophantine_Eq_Finder.thy`
The file was added	`thys/Linear_Diophantine_Preprocessor/Linear_Diophantine_Solver.thy`
The file was added	`thys/Linear_Diophantine_Preprocessor/Linear_Diophantine_Solver_Impl.thy`
The file was added	`thys/Linear_Diophantine_Preprocessor/Linear_Polynomial.thy`
The file was added	`thys/Linear_Diophantine_Preprocessor/Linear_Polynomial_Impl.thy`
The file was added	`thys/Linear_Diophantine_Preprocessor/ROOT`
The file was added	`thys/Linear_Diophantine_Preprocessor/document/root.bib`
The file was added	`thys/Linear_Diophantine_Preprocessor/document/root.tex`
The file was modified	`thys/ROOTS`