fix handling of lambdas in reconstruction of eq_congruent
Description
Description
Details
Details
- Provenance
mathias.fleury Authored on - Parents
- rISABELLE6369151119ee: more robust: avoid breakdown of Search dialog;
- Branches
- Unknown
- Tags
fix handling of lambdas in reconstruction of eq_congruent Tags None Subscribers None |