#570 (Dec 6, 2023, 12:57:03 PM)

Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

1. include unnamed chained facts in Sledgehammer's relevance filter (detail)
2. merge (detail)
3. removed hack in Sledgehammer that confuses preplay and gives Sledgehammer a strange semantics (detail)
4. don't freeze terms in Sledgehammer, as this has a bad impact on 'using' facts (detail)

Started by an SCM change

This run spent:

• 2 min 0 sec waiting;
• 3 hr 20 min build duration;
• 3 hr 22 min total from scheduled to completion.