HomeIsabelle/Phabricator

added documentation for changes to Sledgehammer option "lam_trans"

Description

added documentation for changes to Sledgehammer option "lam_trans"

Details

Provenance
desharnaAuthored on
Parents
rISABELLEfa92bc604c59: merged
Branches
Unknown
Tags
Unknown