--- acl2-4.0.orig/acl2-proclaims.lisp
+++ acl2-4.0/acl2-proclaims.lisp
@@ -0,0 +1,3 @@
+(in-package "ACL2")
+
+; No proclaims are generated here for this host Lisp.