ADDTODOC-PREPEND-BODY

F12 Proof Category

F12 synthetic category. No real data.

ADDTODOC-APPEND-BODY