HomeIsabelle/Phabricator

afford more reactive consolidation;

Description

afford more reactive consolidation;
typical timings for big theories in HOL-Analysis: Session.Consolidate_Execution < 5ms for negative test and < 50ms for positive test;

Details

Provenance
makariusAuthored on
Parents
rISABELLEb45db8030794: minor performance tuning;
Branches
Unknown
Tags
Unknown