twelf/examples/tabled/cr
