+Ferruccio ha cambiato matita.lang:
+> <keyword>iforall</keyword>
+> <keyword>iexists</keyword>
+
+- possibile bug cut&paste di pattern profondi nelle ipotesi: secondo
+ me sbaglia il nome dell'ipotesi!
+
TODO
NUCLEO
- http://mowgli.cs.unibo.it:58084/proofCheck?uri=cic:/Coq/Reals/Rtopology/interior_P3.con