X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fspecification.ldw.xml;h=407dc8054550060e7fe9688a9863bfd28db68804;hb=a38bbd2c8213d8275a3d3c2ac115c45c8e478ed4;hp=556549c393d00f5190ddc0d40f9f3c4440c27379;hpb=658c000ee2ea2da04cf29efc0acdaf16364fbf5e;p=helm.git diff --git a/helm/www/lambdadelta/web/home/specification.ldw.xml b/helm/www/lambdadelta/web/home/specification.ldw.xml index 556549c39..407dc8054 100644 --- a/helm/www/lambdadelta/web/home/specification.ldw.xml +++ b/helm/www/lambdadelta/web/home/specification.ldw.xml @@ -7,7 +7,7 @@ > - Computer-checked formal specifications + Computer-checked formal specifications λδ is developed as a machine-checked digital specification. It comes in several versions listed in the next table,