Project Tags for HOL theorem-proving systemhttp://sourceforge.net/projects/hol/Project Tags for HOL theorem-proving systemenThu, 03 Dec 2009 21:11:06 -0000