Directories

Files

• acl2-started.png
• admitted-theorem.png
• chosen-language.png
• doublecheck-fail.png
• doublecheck-ok.png
• fact-10.png
• fact-admitted.png
• fact-defn.png
• fact-with-failed.png
• start-acl2.png