X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fground%2Fweb%2Fground.ldw.xml;h=bc55626b7c8e246baa4754026b882f113ff69c00;hb=888840f6b3a71d3d686b53b702d362ab90ab0038;hp=30139a6076072b3ebcd4a1deb2b1ebae15e2300e;hpb=68b4f2490c12139c03760b39895619e63b0f38c9;p=helm.git diff --git a/matita/matita/contribs/lambdadelta/ground/web/ground.ldw.xml b/matita/matita/contribs/lambdadelta/ground/web/ground.ldw.xml index 30139a607..bc55626b7 100644 --- a/matita/matita/contribs/lambdadelta/ground/web/ground.ldw.xml +++ b/matita/matita/contribs/lambdadelta/ground/web/ground.ldw.xml @@ -14,38 +14,44 @@ - + + Primitive arithmetics library. + + + Specification is repackaged for publication. + + Specification is released as an independent package (was ground_2). - + Centralized xoa infrastructure removed. - + Decentralized xoa infrastructure. - + Generic rt-transition counter (rtc). - + Platform-independent multiple relocation (rtmap). - + Multiple relocation with streams of naturals. - + Multiple relocation with lists of booleans. - + Natural numbers with infinity (ynat). - + Specification starts. Logical Structure of the Specification This table reports the specification's components and their planes. -