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