Isabelle中clarsimp/fastforce背景变浅红的含义及卡顿问题咨询

问题详情 #

• 附fastforce浅红色背景截图：
  fastforce浅红色背景
• 附clarsimp浅红色背景及空白目标窗口截图：
  

证明过程中反复出现上述问题：fastforce和clarsimp命令背景呈浅红色，同时证明目标窗口变为空白，且程序会陷入永久卡顿状态。

请问fastforce的浅红色背景代表什么含义？

内容的提问来源于stack exchange，提问作者Mathieu Paturel