I’ve seen this error consistently in the past week or so. Updating today didn’t help.
"remote_vampire": Internal error: exception Match raised (line 407 of "~~/src/HOL/Tools/ATP/atp_proof.ML”) ~/isabelle/Repos/src/HOL: hg id 4050b243fc60 tip Larry _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev