[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

2010-04-27 



yongjian Li 




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