use tlist for prophecy

_CoqProject

theories/prophecy/prophecy.v

theories/typing/bool.v

theories/typing/cont_context.v

theories/typing/maybe_uninit.v

theories/typing/product.v

theories/typing/product_split.v

theories/typing/programs.v

theories/typing/type.v

theories/typing/type_context.v

theories/typing/uninit.v

theories/typing/uniq_bor.v

theories/util/types.v