src/HOL/Tools/Function/context_tree.ML
2010-05-15 wenzelm 2010-05-15 less pervasive names from structure Thm;
2010-02-27 wenzelm 2010-02-27 modernized structure Int_Graph;
2010-01-02 krauss 2010-01-02 new year's resolution: reindented code in function package
2009-11-08 wenzelm 2009-11-08 adapted Generic_Data, Proof_Data; tuned;
2009-10-23 krauss 2009-10-23 function package: more standard names for structures and files
2009-10-21 haftmann 2009-10-21 curried inter as canonical list operation (beware of argument order)
2009-10-21 haftmann 2009-10-21 dropped redundant gen_ prefix
2009-10-20 haftmann 2009-10-20 replaced old_style infixes eq_set, subset, union, inter and variants by generic versions
2009-07-17 wenzelm 2009-07-17 tuned/modernized Envir.subst_XXX;
2009-06-23 haftmann 2009-06-23 uniformly capitialized names for subdirectories