diff options
| author | Jason Gross | 2018-07-11 04:29:19 -0400 |
|---|---|---|
| committer | Jason Gross | 2018-07-16 09:50:42 -0400 |
| commit | 78f59f94975bcf1ca72110415b741369eb812975 (patch) | |
| tree | 1502a24c948f5960f845e28f0c20ebf0bc0d9ef6 /kernel/type_errors.ml | |
| parent | 8458615318b2b67a38e356d68926a0838b908fe6 (diff) | |
Add additional lemmas about {String,Ascii}.eqb
Lemma types and names coppied from [Search Z.eqb].
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions