Skip to content

Files

Latest commit

c8d4e0e · Dec 1, 2021

History

History
83 lines (58 loc) · 2.45 KB

TheoryTesting.thy

File metadata and controls

83 lines (58 loc) · 2.45 KB