[isabelle] Proof for graph/tree theorems

I am trying to use graph/tree theorems of : Tom Ridge

"Graphs and Trees in Isabelle/HOL":

but being a beginer, I am having a tough time proving the basic lemma's
is there a proof script availble?

Benny Shimony

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