Links to older Gentzen Content (outside the Content Management System)

These Gentzen Notes were brought in to the Content Management System from earlier Notes which were outside. The earlier Notes can be found at http://softoption.us/test/easyDeriver/tutorials/index.html