hdiff
packages
feed
sbv
-7.0: SBVTestSuite/GoldFiles/higher-6.gold
Q.E.D.