weblib/cicm2012/naturals.ma

   1 include "basics/logic.ma".
   2
   3 \ 5img class="anchor" src="icons/tick.png" id="N"\ 6axiom N : Type[0].
   4 \ 5img class="anchor" src="icons/tick.png" id="add"\ 6axiom add : \ 5a href="cic:/matita/cicm2012/naturals/N.dec"\ 6N\ 5/a\ 6 → \ 5a href="cic:/matita/cicm2012/naturals/N.dec"\ 6N\ 5/a\ 6 → \ 5a href="cic:/matita/cicm2012/naturals/N.dec"\ 6N\ 5/a\ 6.
   5 \ 5img class="anchor" src="icons/tick.png" id="times"\ 6axiom times : \ 5a href="cic:/matita/cicm2012/naturals/N.dec"\ 6N\ 5/a\ 6 → \ 5a href="cic:/matita/cicm2012/naturals/N.dec"\ 6N\ 5/a\ 6 → \ 5a href="cic:/matita/cicm2012/naturals/N.dec"\ 6N\ 5/a\ 6.