;;; Proof General site-lisp configuration

;;;(setq load-path (cons "@SITELISP@/generic" load-path))
(load-file "@SITELISP@/generic/proof-site.el")