- matitaclean (e famiglia) non cancellano le directory vuote
(e per giunta il cicbrowser le mostra :-) -> Gares
- missing feature unification: applicazione di teoremi (~A) quando il goal
- matitaclean (e famiglia) non cancellano le directory vuote
(e per giunta il cicbrowser le mostra :-) -> Gares
- missing feature unification: applicazione di teoremi (~A) quando il goal