X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fdeliverables%2Frequirement-analysis%2Fd1b.xml;fp=helm%2Fmowgli%2Fhome%2Fxml%2Fdeliverables%2Frequirement-analysis%2Fd1b.xml;h=35e26820bcda840d8a6554cd2196843222b0e0e9;hb=2f3cd07536c7abacd73d144c9f033503457522d5;hp=0000000000000000000000000000000000000000;hpb=52ee33174ed91376a8cb67e9b1d95a82027ca764;p=helm.git diff --git a/helm/mowgli/home/xml/deliverables/requirement-analysis/d1b.xml b/helm/mowgli/home/xml/deliverables/requirement-analysis/d1b.xml new file mode 100644 index 000000000..35e26820b --- /dev/null +++ b/helm/mowgli/home/xml/deliverables/requirement-analysis/d1b.xml @@ -0,0 +1,7 @@ + + + + + + Structure and Meta-Structure of Mathematical Documents. +