HomeIsabelle/Phabricator

more robust wrt. experimental changes in Poly/ML;

Authored by makarius.

Description

more robust wrt. experimental changes in Poly/ML;

Details

Committed
makariusWed, Jul 15, 8:06 PM
Parents
rISABELLEbc85d93aad23: more robust: handle unavailable statistics;
Branches
Unknown
Tags
Unknown