+ [ "Ground" "\"ground\""
+ [ "" @("http://matita.cs.unibo.it/" "Matita 0.99.2")
+ "August 2011" "March 2016" "February 2020" ""
+ "" *
+ ]
+ ]
+ [ "Abandoned" ""
+ [ "" @("http://coq.inria.fr/" "Coq 7.3.1")
+ "March 2008" "" "" "February 2011"
+ "" *
+ ]