X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fground%2Fweb%2Fground.ldw.xml;h=5200f8d56d9c7bbb187aa2eec71411a7786f6787;hb=11093619476326238c2ef9d2dfe9150b8c9bc920;hp=79e15a5419105e4f6ca7dd021b537d072914a6e8;hpb=3bc50da0628f7ff190c7d5ba7c3b96a7706eb823;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 79e15a541..5200f8d56 100644 --- a/matita/matita/contribs/lambdadelta/ground/web/ground.ldw.xml +++ b/matita/matita/contribs/lambdadelta/ground/web/ground.ldw.xml @@ -14,6 +14,13 @@ + + Generic relocation maps are streams of booleans + (delayed anniversary milestone). + + + Primitive arithmetics library. + Specification is repackaged for publication. @@ -48,7 +55,7 @@ Logical Structure of the SpecificationThis table reports the specification's components and their planes. -