progs/re-sulzmann.scala
2013-09-24 Christian Urban added new stuff
2013-08-07 Christian Urban added first part of the Sulzmann paper
less more (0) tip