HomeIsabelle/Phabricator

drop obsolete ad hoc support for Satallax isar proof reconstruction

Description

drop obsolete ad hoc support for Satallax isar proof reconstruction

Details

Provenance
desharnaAuthored on
Parents
rISABELLE5d1a7b688f6d: recognize THF proofs properly
Branches
Unknown
Tags
Unknown