(add-to-list 'load-path "@SITELISP@/generic") (require 'proof-site)