Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. add context to fix names "left" and "right", they are now "tree.left" and "tree.right"
Changeset 8011:6ac68a209956 by hoelzl:
add context to fix names "left" and "right", they are now "tree.left" and "tree.right"
The file was modified thys/CryptHOL/Computational_Model.thy (diff)