; This book is a wrapper book for the library that we might consider to
; constitute a "standard approach" to reasoning about ACL2 system functions.

(in-package "ACL2")

(include-book "system/top" :dir :system)
(include-book "non-parallel-book")
