HomeIsabelle/Phabricator

probable fix suggested by Cornelius for the changes in the vicinity of…

Description

probable fix suggested by Cornelius for the changes in the vicinity of 2cd23d587db9

Details

Provenance
nipkowAuthored on
Parents
rAFP9ce1745d994d: Fixes due to new order prover
Branches
Unknown
Tags
Unknown