Skip to content
Success

Changes

Summary

  1. missing open-close
Changeset 8745:85896becff81 by nipkow:
missing open-close
The file was modified thys/JinjaThreads/MM/JMM_Spec.thy (diff)