HomeIsabelle/Phabricator

component csdp-6.2.0 for testing: example #2 in theory HOL-ex.SOS fails with…