src/HOL/Tools/Function/sum_tree.ML
Tue, 29 Sep 2009 22:48:24 +0200 wenzelm modernized Balanced_Tree;
Fri, 18 Sep 2009 09:07:50 +0200 haftmann tuned const_name antiquotations
Tue, 23 Jun 2009 12:09:30 +0200 haftmann uniformly capitialized names for subdirectories
less more (0) tip