src/Tools/Code/code_printer.ML
2009-06-30 haftmann 2009-06-30 all variable names are optional
2009-06-30 haftmann 2009-06-30 simplified binding concept
2009-06-23 haftmann 2009-06-23 uniformly capitialized names for subdirectories