[isabelle] where is "Isabelle/Show me .../Facts" menu in window version of Isabelle



Hi 
 
http://fa.isabelle.narkive.com/LVdvCYnK/isabelle-stuck-on-proof
 
above link mention in proof general, the "Isabelle/Show me .../Facts" menu
 
I can not find in plugin or other menu, where can show facts
 
show "list.inject" this command can not show facts content.
 
lemma "P ∧ Q ==> P"
sledgehammer learn_isar
sledgehammer [prover = e, fact_filter = mesh, verbose] 
 
"mesh": Including 1000 relevant facts: list.inject ...
 
Regards,
 
Martin
 		 	   		  


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