K 10 svn:author V 6 barner K 8 svn:date V 27 2005-09-01T10:03:58.000000Z K 7 svn:log V 108 Add isabelle 2004, a generic proof assistant. PR: 84859 Submitted by: Timothy Bourke END