src/Tools/code/code_thingol.ML
Mon, 15 Oct 2007 21:08:36 +0200 wenzelm renamed Consts.the_declaration to Consts.the_type;
Thu, 11 Oct 2007 16:05:47 +0200 wenzelm removed obsolete AxClass.params_of_class;
Mon, 08 Oct 2007 22:03:31 +0200 haftmann moved translation kernel to CodeThingol
less more (0) -3 tip