Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. update metadata and Containers userguide
Changeset 8986:08e91a3b31fc by Andreas Lochbihler:
update metadata and Containers userguide
The file was modified metadata/metadata (diff)
The file was modified thys/Containers/Containers_Userguide.thy (diff)
The file was modified thys/Containers/Examples/Containers_DFS_Ex.thy (diff)
The file was modified thys/Containers/Examples/Containers_TwoSat_Ex.thy (diff)
The file was modified thys/Containers/Examples/TwoSat_Ex.thy (diff)