Start in a fresh ACL2, either by re

Start in a fresh ACL2, either by restarting your ACL2 image from scratch or executing

ผลลัพธ์ (ไทย) 1:

เริ่มต้นใน ACL2 สด โดยรูป ACL2 ตั้งแต่เริ่มการทำงาน หรือดำเนินการ

ผลลัพธ์ (ไทย) 2:

เริ่มต้นใน ACL2 สดทั้งภาพโดยการรีสตาร์ท ACL2 ของคุณจากรอยขีดข่วนหรือการดำเนินการ

ผลลัพธ์ (ไทย) 3:

เริ่มต้นใน acl2 สด โดยเริ่มต้นที่ภาพ acl2 ของคุณจากรอยขีดข่วนหรือประหาร