HomeIsabelle/Phabricator

much faster proofs (cf. Isabelle/bad75618fb82);

Authored by makarius.

Description

much faster proofs (cf. Isabelle/bad75618fb82);

Details

Committed
makariusFri, Jul 24, 10:09 PM
Parents
rAFP7757456aafcf: Fixed failing proofs.
Branches
Unknown
Tags
Unknown