Thread: HOL database is opened !
View Single Post
Old 19 December 2002, 16:31   #48
DrBong
HOL / AMR Team Member
 
DrBong's Avatar
 
Join Date: Dec 2001
Location: Australia
Posts: 2,632
Re: Impressive!
Quote:
Originally posted by Tim Janssen
Oh, I have some extra little insight information about some development teams mentioned in HOL. Who can I contact?
In addition to Cody, I'd be interested also Tim
DrBong is offline  
 
Page generated in 0.04515 seconds with 11 queries