[isabelle] Proof for graph/tree theorems




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

"Graphs and Trees in Isabelle/HOL":
http://homepages.inf.ed.ac.uk/s0128214/doc/tree.pdf

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

Thanks
Benny Shimony





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