|
|
|---|
|
|
|
|---|
Split using an optional theory
Examples: (split-in-theory) ;; Same as split, using the same theory split uses, namely ;; acl2::minimal-theory (split-in-theory thy) ;; Same as split, but use thy instead of the default ;; acl2::minimal-theory General Form: (split-in-theory thy)
where