diff options
| author | Josh Chen | 2020-06-15 11:56:28 +0200 |
|---|---|---|
| committer | Josh Chen | 2020-06-15 11:56:28 +0200 |
| commit | 28e91f960d7b41f3658a2736f7d87ba5e79f87f6 (patch) | |
| tree | 04240e222a840d39367ba96f6a6e3bdbf031fd40 /spartan/core/lib/tactics.ML | |
| parent | e42b7b3c7d29160939a150b9ec94fc476f7d53e3 (diff) | |
remove old folder
Diffstat (limited to 'spartan/core/lib/tactics.ML')
0 files changed, 0 insertions, 0 deletions