Skip to content
Success

Changes

Summary

  1. removed unnecessary hide_type
Changeset 8988:97e87fffff43 by julian brunner _julianbrunner@gmail.com_:
removed unnecessary hide_type
The file was modified thys/JinjaThreads/Basic/JT_ICF.thy (diff)