ccg-settings-dependencies

Included Books

other

(in-package "ACL2")

include-book

(include-book "ordinals/lexicographic-ordering-without-arithmetic" :dir :system)