1
(*Dummy theory to document dependencies *)
2
3
WO2_AC16 = AC_Equiv + recfunAC16 + AC16_lemmas + Cardinal_aux