Skip to content
[Jenkins]Jenkins
log in
Aborted

Changes

Changes from Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

Summary

  1. Define weak modality (using disjunction) and derive (rather than postulate) its semantics
Changeset 7649:df890a63c1fa by tjark weber _tjark.weber@it.uu.se_:
Define weak modality (using disjunction) and derive (rather than postulate) its semantics
The file was modified thys/Modal_Logics_for_NTS/Weak_Bisimilarity_Implies_Equivalence.thy
The file was modified thys/Modal_Logics_for_NTS/Weak_Equivalence_Implies_Bisimilarity.thy
The file was modified thys/Modal_Logics_for_NTS/Weak_Formula.thy
The file was modified thys/Modal_Logics_for_NTS/Weak_Logical_Equivalence.thy
The file was modified thys/Modal_Logics_for_NTS/Weak_Transition_System.thy
The file was modified thys/Modal_Logics_for_NTS/Weak_Validity.thy

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. removed obsolete test -- coincides with mainline version;
  2. updated to polyml-5.7 pre-release from repository;
Changeset 65033:6be69d6881cd by wenzelm:
removed obsolete test -- coincides with mainline version;
The file was modified src/Pure/Admin/isabelle_cronjob.scala
Changeset 65032:42b92fa72a51 by wenzelm:
updated to polyml-5.7 pre-release from repository;
The file was modified Admin/components/components.sha1
The file was modified Admin/components/main
The file was modified Admin/polyml/CHECKLIST
The file was modified Admin/polyml/README
The file was modified src/Pure/Tools/bibtex.ML