engineeringHiO.gft « axioms « SUMO « examples - gf-core.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/examples/SUMO/axioms/engineeringHiO.gft

blob: 1165dcf02770bf95c89179db8e5a86b741cc63f1 (plain)

1 2	`PartialOrderingRelation ? (\x,y -> abstractPart x y)`