diff options
| author | Josh Chen | 2020-08-05 15:21:43 +0200 |
|---|---|---|
| committer | Josh Chen | 2020-08-05 15:21:43 +0200 |
| commit | c530305cbcafba9f66f1a55a1b5177a62f52535c (patch) | |
| tree | 2c4736cf5884e53edd0b8eaebb903bb3f4857d2f /spartan/core/tactics.ML | |
| parent | 710f314a9ccb84cdd9df9bc8bf52482b8d1f5a56 (diff) | |
1. fix intros method. 2. Couple extra lemmas; good small test cases for normalization in typechecking/elaboration.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions