Changes from Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)
Summary
- updated with guillemot syntax
The file was modified | thys/Surprise_Paradox/Surprise_Paradox.thy |
The file was modified | thys/Surprise_Paradox/document/root.tex |
The file was modified | thys/Surprise_Paradox/Surprise_Paradox.thy |
The file was modified | thys/Surprise_Paradox/document/root.tex |