(* Project started Wed Oct 12, 2005 ***************************************)
set "baseuri" "cic:/matita/PREDICATIVE-TOPOLOGY/class_defs".
(* Project started Wed Oct 12, 2005 ***************************************)
set "baseuri" "cic:/matita/PREDICATIVE-TOPOLOGY/class_defs".