Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merge from afp-2016
  2. metadata for KAD; also added "depends-on = Kleene_Algebra" to KAT_and_DRA
  3. new entry KAD
  4. Fixed a very slow step
Changeset 6506:a108a39619a6 by kleing:
merge from afp-2016
Changeset 6505:8ba1cd547871 by paulson _lp15@cam.ac.uk_:
metadata for KAD; also added "depends-on = Kleene_Algebra" to KAT_and_DRA
The file was addedweb/entries/KAD.shtml
The file was modified metadata/metadata (diff)
The file was modified web/entries/KAT_and_DRA.shtml (diff)
The file was modified web/index.shtml (diff)
The file was modified web/topics.shtml (diff)
Changeset 6504:6a0a81f8963a by paulson _lp15@cam.ac.uk_:
new entry KAD
The file was addedthys/KAD/Antidomain_Semiring.thy
The file was addedthys/KAD/Domain_Semiring.thy
The file was addedthys/KAD/Modal_Kleene_Algebra.thy
The file was addedthys/KAD/Modal_Kleene_Algebra_Applications.thy
The file was addedthys/KAD/Modal_Kleene_Algebra_Models.thy
The file was addedthys/KAD/ROOT
The file was addedthys/KAD/Range_Semiring.thy
The file was addedthys/KAD/config
The file was addedthys/KAD/document/root.bib
The file was addedthys/KAD/document/root.tex
The file was modified thys/ROOTS (diff)
Changeset 6503:06c5e4b99081 by paulson _lp15@cam.ac.uk_:
Fixed a very slow step
The file was modified metadata/metadata (diff)
The file was modified thys/Kleene_Algebra/Omega_Algebra_Models.thy (diff)