Build TypeTheory #214
Annotations
6 warnings
|
Build TypeTheory
"From Coq" has been replaced by "From Stdlib".
|
|
Build TypeTheory
"From Coq" has been replaced by "From Stdlib".
|
|
Build TypeTheory
Postfix notations (i.e. starting with a nonterminal symbol and
|
|
Build TypeTheory
Closed notations (i.e. starting and ending with a terminal symbol)
|
|
Build TypeTheory
Postfix notations (i.e. starting with a nonterminal symbol and
|
|
Build TypeTheory
disp_nat_z_iso_to_trans does not respect the uniform inheritance
|
Loading