src/Tools/Code/code_namespace.ML
Wed, 01 Sep 2010 12:27:49 +0200 haftmann generalized hierarchical data structure over statements
Wed, 01 Sep 2010 12:01:19 +0200 haftmann factored out generic part of Scala serializer into code_namespace.ML
less more (0) tip