Thread: HOL database is opened !
View Single Post
Old 19 December 2002, 16:52   #49
Tim Janssen
Junior Member
 
Tim Janssen's Avatar
 
Join Date: Apr 2001
Location: Den Bosch / The Netherlands
Age: 47
Posts: 1,271
Cool Already posted my remarks
@Dr Bong,
I have posted my little input in Galahad's HOL Amendements thread (The "Some more input..."-posting).
Tim Janssen is offline  
 
Page generated in 0.04308 seconds with 11 queries