diff options
| author | Thomas Bauereiss | 2018-05-17 15:07:30 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-05-17 15:08:27 +0100 |
| commit | 865bf8be236051e7ec0032bc4454cd6081820727 (patch) | |
| tree | 07c3f741e07e3ac7ba3db1e1ac05a59157bfeaf9 /test/isabelle | |
| parent | c2cea6d0ac2df1cbfdccddd2b5df48f31ee6b288 (diff) | |
Refactor main.sail
Diffstat (limited to 'test/isabelle')
0 files changed, 0 insertions, 0 deletions