use same associativity as Isabelle when parsing HOL proofs
Description
Description
Details
Details
- Provenance
blanchette Authored on - Parents
- rISABELLE1320782a394e: improved Sledgehammer's HOL proof parser w.r.t. negation
- Branches
- Unknown
- Tags
use same associativity as Isabelle when parsing HOL proofs Tags None Subscribers None |