src/HOL/Tools/Function/induction_scheme.ML
2009-09-29 wenzelm 2009-09-29 modernized Balanced_Tree;
2009-09-18 haftmann 2009-09-18 tuned const_name antiquotations
2009-07-26 wenzelm 2009-07-26 Goal.finish: explicit context for printing;
2009-06-23 haftmann 2009-06-23 uniformly capitialized names for subdirectories