[isabelle] [Noob] Proof on trees



Trying to prove a little proof on trees [thy attached]?
Should be trivial at least from informal pov.

Any suggestions?

Attachment: dfs.thy
Description: Binary data



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