[isabelle] where is "Isabelle/Show me .../Facts" menu in window version of Isabelle
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 [prover = e, fact_filter = mesh, verbose]
"mesh": Including 1000 relevant facts: list.inject ...
This archive was generated by a fusion of
Pipermail (Mailman edition) and