K 10 svn:author V 6 barner K 8 svn:date V 27 2005-08-31T10:36:36.000000Z K 7 svn:log V 126 Add proofgeneral 3.5, a generic interface for proof assistants. PR: 84788 Submitted by: Timothy Bourke END