Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. merging
  2. updates for future formalizations
Changeset 13462:8c220a4fb5ab by JeremyDubut _dubutjeremy@gmail.com_:
merging
Changeset 13461:7b65619dbfd2 by JeremyDubut _dubutjeremy@gmail.com_:
updates for future formalizations
The file was addedthys/Complete_Non_Orders/Continuity.thy
The file was addedthys/Complete_Non_Orders/Directedness.thy
The file was addedthys/Complete_Non_Orders/Well_Relations.thy
The file was modified thys/Complete_Non_Orders/Binary_Relations.thy
The file was modified thys/Complete_Non_Orders/Complete_Relations.thy
The file was modified thys/Complete_Non_Orders/Fixed_Points.thy
The file was modified thys/Complete_Non_Orders/Kleene_Fixed_Point.thy
The file was modified thys/Complete_Non_Orders/ROOT
The file was modified thys/Complete_Non_Orders/document/root.bib
The file was modified thys/Complete_Non_Orders/document/root.tex