HomeIsabelle/Phabricator

Fixes due to new order prover

Description

Fixes due to new order prover

Details

Provenance
nipkowAuthored on
Parents
rAFP589a6dadfa84: another broken proof
Branches
Unknown
Tags
Unknown