diff options
| author | Josh Chen | 2020-06-15 11:53:44 +0200 |
|---|---|---|
| committer | Josh Chen | 2020-06-15 11:53:44 +0200 |
| commit | e42b7b3c7d29160939a150b9ec94fc476f7d53e3 (patch) | |
| tree | d2e404094ff77d1969eb1207f542095794246038 /spartan/core/lib/tactics.ML | |
| parent | 9050b7414021db31b23a034567ebc6da3f6c5f67 (diff) | |
| parent | 69bf0744a5ce3ba144f59564ebf74d7d2f56b748 (diff) | |
Merge branch 'dev'
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions