Build #92 (Feb 20, 2022, 12:14:00 AM)

1. merged (detail)
2. an assortment of new or stronger lemmas (detail)
3. obsolete (reverting b3d6bb2ebf77): Isabelle/Naproche cache is now value-oriented; (detail)
4. print outcome of Sledgehammer search in panel (detail)
5. print Sledgehammer error message (detail)

1. merged (detail)
2. More material (detail)
3. added idempotent most general unifier (detail)
4. used same parameter order for locales substitution and substitution (detail)
5. patched for new/simplified lemmas (detail)
6. Better notation. (detail)

Started by timer

This run spent:

• 38 ms waiting;
• 1 day 6 hr build duration;
• 1 day 6 hr total from scheduled to completion.

Timeout has been exceeded