Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

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

Summary

  1. Merged
  2. Updated HyperHoareLogic entry: Additional rules
  3. tune imports
Changeset 14266:bbd1dc798620 by Thibault Dardinier _thibault.dardinier@inf.ethz.ch_:
Merged
Changeset 14265:20b8a26117af by Thibault Dardinier _thibault.dardinier@inf.ethz.ch_:
Updated HyperHoareLogic entry: Additional rules
The file was addedthys/HyperHoareLogic/Compositionality.thy
The file was addedthys/HyperHoareLogic/ExamplesCompositionality.thy
The file was addedthys/HyperHoareLogic/Loops.thy
The file was addedthys/HyperHoareLogic/PaperResults.thy
The file was addedthys/HyperHoareLogic/SyntacticAssertions.thy
The file was addedthys/HyperHoareLogic/TotalLogic.thy
The file was modified metadata/entries/HyperHoareLogic.toml
The file was modified thys/HyperHoareLogic/Expressivity.thy
The file was modified thys/HyperHoareLogic/Language.thy
The file was modified thys/HyperHoareLogic/Logic.thy
The file was modified thys/HyperHoareLogic/ProgramHyperproperties.thy
The file was modified thys/HyperHoareLogic/ROOT
The file was modified thys/HyperHoareLogic/document/root.bib
The file was modified thys/HyperHoareLogic/document/root.tex
Changeset 14264:f7ec8c203092 by rene thiemann _rene.thiemann@uibk.ac.at_:
tune imports
The file was modified thys/Show/Shows_Literal.thy