Sophie: emacs-common-proofgeneral-3.7.1-4.fc12 noarch

emacs-common-proofgeneral-3.7.1-4.fc12.noarch.rpm

Info
Deps
Files
Scripts
ChangeLog
Location
Others versions
Analyse

;;  Example proof script for ACL2 Proof General.
;;
;;   example.acl2,v 9.0 2008/01/30 15:22:06 da Exp
;;    

(defthm assoc->assoc-equal
  (equal (assoc x a)
	 (assoc-equal x a)))