clarified Term.dest_abs (again, refining 71dfb835025d): only Free names are relevant for abstract terms, without syntax;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE83d2208252d1: clarified sledgehammer_provers, following d8dc8fdc46fc;
- Branches
- Unknown
- Tags