The Ott tool for writing definitions of programming languages and calculi

This page has moved to github.