Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. merged
  2. minor stylistic changes
  3. Add completeness of modal logics T, KB, K4, S4 and S5
  4. Stylistic tweaks, which I hope are improvements :-)
Changeset 11730:401da3b5743d by paulson:
merged
Changeset 11729:075ee4dc645d by paulson _lp15@cam.ac.uk_:
minor stylistic changes
The file was modified thys/Ordinal_Partitions/Erdos_Milner.thy
Changeset 11728:77def7de7e09 by asta halkjær from _andro.from@gmail.com_:
Add completeness of modal logics T, KB, K4, S4 and S5
The file was modified metadata/metadata
The file was modified thys/Epistemic_Logic/Epistemic_Logic.thy
The file was modified thys/Epistemic_Logic/document/root.bib
The file was modified thys/Epistemic_Logic/document/root.tex
Changeset 11727:8f1f310afd72 by paulson _lp15@cam.ac.uk_:
Stylistic tweaks, which I hope are improvements :-)
The file was modified thys/Ordinal_Partitions/Erdos_Milner.thy
The file was modified thys/ZFC_in_HOL/Kirby.thy
The file was modified thys/ZFC_in_HOL/ZFC_Cardinals.thy