src/Tools/code/code_wellsorted.ML
Mon, 11 May 2009 09:40:39 +0200 haftmann tuned interface of module Code_Unit
Thu, 07 May 2009 16:22:35 +0200 haftmann dropped explicit suppport for frees in evaluation conversion stack
Mon, 04 May 2009 14:49:51 +0200 haftmann removed code_name module
less more (0) -10 -3 tip