Just wanted to say that HOL is really great :-)
Thanks to all involved.. Cody/EAB gang/Mr Tapper etc :-)
(edit: maybe hol should offer database snapshots like the IMDB, based around some kind of "creative commons" licence. Might help avoid this kind of plagiarism, as people would be able to get the data from the source?)
