src/HOL/Tools/Function/induction_scheme.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
Sun, 26 Jul 2009 13:12:52 +0200 wenzelm Goal.finish: explicit context for printing;
Tue, 23 Jun 2009 12:09:30 +0200 haftmann uniformly capitialized names for subdirectories
less more (0) tip