diff options
| author | Robert Norton | 2018-07-11 17:28:36 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-07-11 17:28:36 +0100 |
| commit | ae83a6c62fa0794215f78cd75c8020805f5d9c0a (patch) | |
| tree | 082a89b0833c1225ecb7345fdc535f1eccc5a662 /test | |
| parent | 7a4facfb0fffa81f1854a72bd250ac4d4972a1c1 (diff) | |
Remove copyright header from generated isabelle for anonymisation. Make sure to repeat this if re-generating isabelle before submission.
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions