Rewrote pref, pref_term, pref_step etc to pref with sigma type of tuples. Finished embed_pref_trans that way.
Rewrote pref, pref_term, pref_step etc to pref with sigma type of tuples. Finished embed_pref_trans that way.

martijnvermaat/infinitary-rewriting-coq