On Tue, Sep 16, 2003 at 03:11:07AM -0400, Greg A. Woods wrote:
> [ On Tuesday, September 16, 2003 at 12:29:52 (+0930), Brett Lymn wrote: ]
> > Subject: Re: static linking for NetBSD
> >
> > Feh - use verified exec then.
> 
> I'd still like to see a proper mathematical proof of that concept which
> includes coverage of the bootstrap issue.

Say, isn't this the point of TCPA?
-- 
Kevin P. Neal                                http://www.pobox.com/~kpn/

"What is mathematics? The age-old answer is, of course, that mathematics
 is what mathematicians do." - Donald Knuth