src/Tools/Code/code_scala.ML
Thu, 29 Apr 2010 15:00:42 +0200 haftmann more coherent naming with ML serializer
Fri, 19 Feb 2010 11:06:22 +0100 haftmann context theorem is optional
Fri, 22 Jan 2010 13:38:28 +0100 haftmann code literals: distinguish numeral classes by different entries
less more (0) -3 tip