diff options
| author | Josh Chen | 2020-04-03 01:13:29 +0200 |
|---|---|---|
| committer | Josh Chen | 2020-04-03 01:13:34 +0200 |
| commit | 97f3c05e0511a1ed9a95babc800a8e3f3b6a2ea8 (patch) | |
| tree | b435de3037203e615d606d9c85fea6927ff6919d /spartan/lib/equality.ML | |
| parent | 2781c68f0fdb435827097efc497c2172d6050e50 (diff) | |
1. Base theory. 2. Fix Nat axioms, addition.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions