[isabelle] on blast method

Dear Isabelle Expert,
I have a question regarding blast. Which rules
does blast use to find a tableaux proof? And is
there a method to trace which rules are used
in a specific proof found by blast?
Thank you very much for your help,
Yongjian Li


yongjian Li 

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.