src/HOL/Library/Tree.thy
2009-06-04 haftmann 2009-06-04 added trees implementing mappings