made another two tactics more robust in presence of BNFs nesting live variables (reported by Wolfgang Jeltsch)
Description
Description
Details
Details
- Provenance
traytel Authored on - Parents
- rISABELLEe72f8009a4f0: made tactic more robust in presence of BNFs nesting live variables (reported by…
- Branches
- Unknown
- Tags