src/Tools/Code/code_namespace.ML
2010-09-02 haftmann 2010-09-02 removed namespace stuff from code_printer
2010-09-02 haftmann 2010-09-02 skip empty name bunches; fill up trailing positions with NONEs
2010-09-01 haftmann 2010-09-01 simultaneous modification of statements: statement names
2010-09-01 haftmann 2010-09-01 simultaneous modification of statements
2010-09-01 haftmann 2010-09-01 explicit modify_stmt parameter
2010-09-01 haftmann 2010-09-01 tuned
2010-09-01 haftmann 2010-09-01 generalized hierarchical data structure over statements
2010-09-01 haftmann 2010-09-01 factored out generic part of Scala serializer into code_namespace.ML