[STATEMENT]
lemma int_tree_none: "emp \<Longrightarrow>\<^sub>A int_tree interval_tree.Tip None"
[PROOF STATE]
proof (prove)
goal (1 subgoal):
 1. emp \<Longrightarrow>\<^sub>A int_tree Tip None
[PROOF STEP]
by auto2