This page contains the following materials in support of a series of three talks by J Strother Moore at the UT Austin ACL2 Seminar on the topic,
Adding Apply to ACL2,
starting on Jan. 26, 2016.

• Abstract
• Slides for Jan. 26, 2016
• Demo file for Jan. 26, 2016
  
• Slides for Feb. 9, 2016
• Slides for Feb. 16, 2016
NOTE that not included here are the following files referenced by the demo file for Jan. 26, 2016.
• The file "/u/moore/text/acl2-work-01/reset-margins-for-demo.lisp" is used only for slides.
• The file "/u/moore/work/apply/story7/raw-apply-evaluation-theory.lisp" is a cheat to allow evaluation.
Users replaying the demo should just skip those files and executing top-level evaluations.