• Ralf Jung's avatar
    establish a general lemma for inclusion of DRAs · e080934d
    Ralf Jung authored
    This is all still pretty ad hoc, but oh well. Also, I have no idea why I had to make those instances in sta_dra global, but it complained about missing instances. Actually, I wonder how they could *not* be global previously...