define-judgment-form is a feature we're considering for addition to Redex and 
this directory contains a prototype version of it that we used to test this
paper.
