diff options
| author | Josh Chen | 2020-07-16 23:28:28 +0200 |
|---|---|---|
| committer | Josh Chen | 2020-07-16 23:28:28 +0200 |
| commit | 6f2dc473cda23d0bc43bc1e95c2b655ad1d9c237 (patch) | |
| tree | 77d67d39b30b13c01244f6390af626c987343114 /spartan/core/Spartan.thy | |
| parent | 61f2b7732c2fb43fa85142286522177cc5d7f2a9 (diff) | |
test
Diffstat (limited to 'spartan/core/Spartan.thy')
0 files changed, 0 insertions, 0 deletions