hdiff
packages
feed
gf
-3.1.6: examples/SUMO/axioms/engineeringHiO.gft
PartialOrderingRelation ? (\x,y -> abstractPart x y)