src/Tools/Code/code_preproc.ML
2009-07-09 wenzelm 2009-07-09 renamed functor TableFun to Table, and GraphFun to Graph;
2009-07-08 haftmann 2009-07-08 tuned structure Code internally
2009-07-07 haftmann 2009-07-07 tuned interface of structure Code
2009-06-23 haftmann 2009-06-23 uniformly capitialized names for subdirectories