Skip to content
Success

Changes

Summary

  1. avoid unconditional dump into file system
Changeset 7509:528c261c9986 by haftmann:
avoid unconditional dump into file system
The file was modified thys/Formal_SSA/Generic_Extract.thy (diff)