src/Tools/Code/code_scala.ML
Mon, 19 Jul 2010 11:55:44 +0200 haftmann distinguish different classes of const syntax
less more (0) -10 -1 tip