<?xml version="1.0" encoding="UTF-8"?>
-<page xmlns="http://lambdadelta.info"
+<page xmlns="http://lambdadelta.info/"
description = "applications of lambdadelta version 2"
title = "applications of lambdadelta version 2"
head = "cic:/matita/lambdadelta/apps_2/ (applications of λδ version 2)"