Routine update of "spass" for sledgehammer.
Description
Description
Related Objects
Related Objects
Event Timeline
Comment Actions
Done in Isabelle/c2b44fb3add4, already sufficient for Isabelle2021 release.
(The SPASS project is fairly inactive, so this is still spass-3.8s by Blanchette et al.)