Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. Update ROOT...
  2. Appendix with another axiom system as a variant of the proof.
  3. adapt to Isabelle@769a7cd5a16a
  4. merge from afp-2021-1
  5. adjust Lar's contact info as requested
  6. sitegen for Padic_Field
  7. new entry: Padic_Field
  8. sitegen for Risk_Free_Lending
  9. new entry: Risk_Free_Lending
  10. new entry Implicational_Logic
  11. New entry Separation_Logic_Unbounded
  12. added web files
  13. added web files
  14. New entry SCC_Bloemen_Sequential
Changeset 13043:189717e4b998 by asta halkjær from _andro.from@gmail.com_:
Update ROOT...
The file was modified thys/Implicational_Logic/ROOT
Changeset 13042:611e8be50bec by asta halkjær from _andro.from@gmail.com_:
Appendix with another axiom system as a variant of the proof.
The file was addedthys/Implicational_Logic/Implicational_Logic_Appendix.thy
Changeset 13041:59f623140cfa by gerwin klein _kleing@unsw.edu.au_:
adapt to Isabelle@769a7cd5a16a
The file was modified thys/Padic_Field/Cring_Multivariable_Poly.thy
The file was modified thys/Padic_Field/Padic_Field_Polynomials.thy
The file was modified thys/Padic_Field/Padic_Field_Powers.thy
The file was modified thys/Padic_Field/Padic_Semialgebraic_Function_Ring.thy
Changeset 13040:bd79c9c8cfa0 by gerwin klein _kleing@unsw.edu.au_:
merge from afp-2021-1
Changeset 13039:07172e9ae711 by gerwin klein _kleing@unsw.edu.au_:
adjust Lar's contact info as requested
The file was modified metadata/authors.toml
The file was modified metadata/entries/CakeML_Codegen.toml
The file was modified metadata/entries/Higher_Order_Terms.toml
The file was modified metadata/entries/Random_Graph_Subgraph_Threshold.toml
The file was modified web/authors/diekmann/index.html
The file was modified web/authors/haslbeck/index.html
The file was modified web/authors/hupel/index.html
The file was modified web/authors/lammich/index.html
The file was modified web/authors/michaelis/index.html
The file was modified web/authors/raedle/index.html
The file was modified web/authors/zhang/index.html
The file was modified web/entries/CakeML.html
The file was modified web/entries/Constructor_Funs.html
The file was modified web/entries/Dict_Construction.html
The file was modified web/entries/Generic_Deriving.html
The file was modified web/entries/Hello_World.html
The file was modified web/entries/IP_Addresses.html
The file was modified web/entries/Iptables_Semantics.html
The file was modified web/entries/Lazy_Case.html
The file was modified web/entries/ROBDD.html
The file was modified web/entries/Random_Graph_Subgraph_Threshold.html
Changeset 13038:58d7766b8964 by Manuel Eberl _manuel@pruvisto.org_:
sitegen for Padic_Field
The file was addedmetadata/entries/Padic_Field.toml
The file was addedweb/dependencies/localization_ring/index.html
The file was addedweb/dependencies/localization_ring/index.xml
The file was addedweb/dependencies/padic_ints/index.html
The file was addedweb/dependencies/padic_ints/index.xml
The file was addedweb/entries/Padic_Field.html
The file was addedweb/theories/padic_field/index.html
The file was modified web/authors/crighton/index.html
The file was modified web/authors/crighton/index.xml
The file was modified web/data/keywords.json
The file was modified web/dependencies/index.html
The file was modified web/dependencies/index.json
The file was modified web/entries/DPRM_Theorem.html
The file was modified web/entries/Localization_Ring.html
The file was modified web/entries/Padic_Ints.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/sitemap.xml
The file was modified web/statistics/index.html
The file was modified web/theories/index.xml
The file was modified web/topics/index.html
The file was modified web/topics/mathematics/algebra/index.html
The file was modified web/topics/mathematics/algebra/index.xml
The file was modified web/topics/mathematics/number-theory/index.html
The file was modified web/topics/mathematics/number-theory/index.xml
Changeset 13037:802687e3f62a by Manuel Eberl _manuel@pruvisto.org_:
new entry: Padic_Field
The file was addedthys/Padic_Field/Cring_Multivariable_Poly.thy
The file was addedthys/Padic_Field/Fraction_Field.thy
The file was addedthys/Padic_Field/Generated_Boolean_Algebra.thy
The file was addedthys/Padic_Field/Indices.thy
The file was addedthys/Padic_Field/Padic_Field_Polynomials.thy
The file was addedthys/Padic_Field/Padic_Field_Powers.thy
The file was addedthys/Padic_Field/Padic_Field_Topology.thy
The file was addedthys/Padic_Field/Padic_Fields.thy
The file was addedthys/Padic_Field/Padic_Semialgebraic_Function_Ring.thy
The file was addedthys/Padic_Field/ROOT
The file was addedthys/Padic_Field/Ring_Powers.thy
The file was addedthys/Padic_Field/document/root.bib
The file was addedthys/Padic_Field/document/root.tex
The file was modified thys/ROOTS
Changeset 13036:b4ba256202a1 by Manuel Eberl _manuel@pruvisto.org_:
sitegen for Risk_Free_Lending
The file was addedmetadata/entries/Risk_Free_Lending.toml
The file was addedweb/entries/Risk_Free_Lending.html
The file was addedweb/theories/risk_free_lending/index.html
The file was modified metadata/authors.toml
The file was modified web/authors/doty/index.html
The file was modified web/authors/doty/index.xml
The file was modified web/authors/index.html
The file was modified web/authors/index.json
The file was modified web/data/keywords.json
The file was modified web/entries/Robbins-Conjecture.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/sitemap.xml
The file was modified web/statistics/index.html
The file was modified web/theories/index.xml
The file was modified web/topics/index.html
The file was modified web/topics/mathematics/algebra/index.html
The file was modified web/topics/mathematics/games-and-economics/index.html
The file was modified web/topics/mathematics/games-and-economics/index.xml
Changeset 13035:7bce0418a16a by Manuel Eberl _manuel@pruvisto.org_:
new entry: Risk_Free_Lending
The file was addedthys/Risk_Free_Lending/ROOT
The file was addedthys/Risk_Free_Lending/Risk_Free_Lending.thy
The file was addedthys/Risk_Free_Lending/document/root.tex
The file was modified thys/ROOTS
Changeset 13034:7df5ba0f40af by gerwin klein _kleing@unsw.edu.au_:
new entry Implicational_Logic
The file was addedmetadata/entries/Implicational_Logic.toml
The file was addedthys/Implicational_Logic/Implicational_Logic.thy
The file was addedthys/Implicational_Logic/ROOT
The file was addedthys/Implicational_Logic/document/root.tex
The file was addedweb/entries/Implicational_Logic.html
The file was addedweb/theories/implicational_logic/index.html
The file was modified thys/ROOTS
The file was modified web/authors/from/index.html
The file was modified web/authors/from/index.xml
The file was modified web/authors/villadsen/index.html
The file was modified web/authors/villadsen/index.xml
The file was modified web/data/keywords.json
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/sitemap.xml
The file was modified web/statistics/index.html
The file was modified web/theories/index.xml
The file was modified web/topics/index.html
The file was modified web/topics/logic/general-logic/classical-propositional-logic/index.html
The file was modified web/topics/logic/general-logic/classical-propositional-logic/index.xml
The file was modified web/topics/logic/general-logic/index.html
The file was modified web/topics/logic/general-logic/index.xml
The file was modified web/topics/logic/proof-theory/index.html
The file was modified web/topics/logic/proof-theory/index.xml
Changeset 13033:1847e8b46ffd by nipkow:
New entry Separation_Logic_Unbounded
The file was addedmetadata/entries/SCC_Bloemen_Sequential.toml
The file was addedmetadata/entries/Separation_Logic_Unbounded.toml
The file was addedthys/Separation_Logic_Unbounded/.#ROOT
The file was addedthys/Separation_Logic_Unbounded/AutomaticVerifiers.thy
The file was addedthys/Separation_Logic_Unbounded/Combinability.thy
The file was addedthys/Separation_Logic_Unbounded/Distributivity.thy
The file was addedthys/Separation_Logic_Unbounded/FixedPoint.thy
The file was addedthys/Separation_Logic_Unbounded/ROOT
The file was addedthys/Separation_Logic_Unbounded/UnboundedLogic.thy
The file was addedthys/Separation_Logic_Unbounded/WandProperties.thy
The file was addedthys/Separation_Logic_Unbounded/document/root.bib
The file was addedthys/Separation_Logic_Unbounded/document/root.tex
The file was addedweb/entries/Separation_Logic_Unbounded.html
The file was addedweb/theories/separation_logic_unbounded/index.html
The file was modified thys/ROOTS
The file was modified web/authors/dardinier/index.html
The file was modified web/authors/dardinier/index.xml
The file was modified web/data/keywords.json
The file was modified web/entries/Auto2_Imperative_HOL.html
The file was modified web/entries/Combinable_Wands.html
The file was modified web/entries/Separata.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/sitemap.xml
The file was modified web/statistics/index.html
The file was modified web/theories/index.xml
The file was modified web/topics/computer-science/programming-languages/index.html
The file was modified web/topics/computer-science/programming-languages/index.xml
The file was modified web/topics/computer-science/programming-languages/logics/index.html
The file was modified web/topics/computer-science/programming-languages/logics/index.xml
The file was modified web/topics/index.html
Changeset 13032:d076b363d88d by nipkow:
added web files
The file was addedweb/theories/scc_bloemen_sequential/index.html
Changeset 13031:0673c2f36b82 by nipkow:
added web files
The file was addedweb/authors/trelat/index.html
The file was addedweb/authors/trelat/index.xml
Changeset 13030:8130283550b0 by nipkow:
New entry SCC_Bloemen_Sequential
The file was addedthys/SCC_Bloemen_Sequential/ROOT
The file was addedthys/SCC_Bloemen_Sequential/SCC_Bloemen_Sequential.thy
The file was addedthys/SCC_Bloemen_Sequential/document/root.bib
The file was addedthys/SCC_Bloemen_Sequential/document/root.tex
The file was addedweb/entries/SCC_Bloemen_Sequential.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/merz/index.html
The file was modified web/authors/merz/index.xml
The file was modified web/data/keywords.json
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/sitemap.xml
The file was modified web/statistics/index.html
The file was modified web/theories/index.xml
The file was modified web/topics/computer-science/algorithms/graph/index.html
The file was modified web/topics/computer-science/algorithms/graph/index.xml
The file was modified web/topics/computer-science/algorithms/index.html
The file was modified web/topics/computer-science/algorithms/index.xml
The file was modified web/topics/index.html