[Hol-info] security of proofs in HOL

[Kai K. <Kai...@ir...>]

Hi,

does anyboy know any publication(s) about the actual security of proofs 
in HOL98 ?


Thanks a lot for any hint...

Greetings,

Kai

-- 
Kai Kapp             Institut fuer Rechnerentwurf und Fehlertoleranz
Kai...@ir...                           Universitaet Karlsruhe
Phone: +49-721/608-4217                      Fax:   +49-721/608-3962