Inductive BinTree

Modification history