I don't speak for M. Woolery, but one can find my code here:

* http://jdebp.eu./Softwares/redo/

* http://jdebp.eu./Softwares/redo/grosskurth-redo.html

* http://jdebp.eu./FGA/introduction-to-redo.html