src/HOL/Tools/Function/decompose.ML
2009-07-09 wenzelm 2009-07-09 renamed functor TableFun to Table, and GraphFun to Graph;
2009-06-23 haftmann 2009-06-23 uniformly capitialized names for subdirectories