Skip to content
Success

Changes

Summary

  1. accomodate changes in Isabelle rev. 493b818e8e10
Changeset 9191:f0b5c34b4a85 by haftmann:
accomodate changes in Isabelle rev. 493b818e8e10
The file was modified thys/JinjaThreads/Execute/TypeRelRefine.thy (diff)