History log of /seL4-l4v-master/isabelle/src/Pure/General/balanced_tree.ML
Revision Date Author Comments
# f3f5fefc 21-Mar-2012 wenzelm <none@none>

prefer explicitly qualified exception List.Empty;


# 8518a24a 29-Sep-2009 wenzelm <none@none>

modernized Balanced_Tree;


# 1bd59ac7 21-Jan-2009 wenzelm <none@none>

removed Ids;


# 925c3029 19-Jun-2007 wenzelm <none@none>

Balanced binary trees (material from library.ML);