Skip to content
Failed

Changes

Summary

  1. tuned bootstrap order to provide type classes in a more sensible order
Changeset 6398:cbb1bdc99acf by haftmann:
tuned bootstrap order to provide type classes in a more sensible order
The file was modified thys/Formal_SSA/Construct_SSA_notriv_code.thy (diff)
The file was modified thys/Formal_SSA/Mapping_Exts.thy (diff)
The file was modified thys/Probabilistic_Noninterference/Compositionality.thy (diff)