Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. updated to renamed lemmas
Changeset 8159:47214aa6c803 by nipkow:
updated to renamed lemmas
The file was modified thys/NormByEval/NBE.thy (diff)
The file was modified thys/Separation_Logic_Imperative_HOL/Examples/Hash_Table.thy (diff)