New definition for psi and replayed everything for this new definition. Some progress in proving two definitions for psi correct. Old definition for psi' is left as oldpsi'.
New definition for psi and replayed everything for this new definition. Some progress in proving two definitions for psi correct. Old definition for psi' is left as oldpsi'.

martijnvermaat/infinitary-rewriting-coq