src/Tools/Code/code_thingol.ML
2009-11-24 haftmann 2009-11-24 curried take/drop
2009-12-02 haftmann 2009-12-02 subst_signatures
2009-11-03 haftmann 2009-11-03 pretty name for ==>
2009-10-26 haftmann 2009-10-26 tuned
2009-10-25 wenzelm 2009-10-25 maintain theory name via name space, not tags; AxClass.thynames_of_arity: explicit theory name, not tags;
2009-10-20 wenzelm 2009-10-20 uniform use of Integer.min/max;
2009-10-14 haftmann 2009-10-14 sharpened name
2009-10-14 haftmann 2009-10-14 more explicit notion of canonized code equations
2009-10-12 haftmann 2009-10-12 added add_tyconames; tuned
2009-10-12 haftmann 2009-10-12 added is_IVar
2009-10-08 haftmann 2009-10-08 added group_stmts
2009-10-05 haftmann 2009-10-05 tuned handling of type variable names further
2009-10-05 haftmann 2009-10-05 variables in type schemes must be renamed simultaneously with variables in equations
2009-09-30 wenzelm 2009-09-30 Sorts.of_sort_derivation: no pp here;
2009-09-09 haftmann 2009-09-09 explicit transfer avoids spurious merge problems
2009-08-11 haftmann 2009-08-11 proper eta expansion in recfun_codegen.ML; no eta expansion at all in code_thingol.ML
2009-08-10 haftmann 2009-08-10 moved all technical processing of code equations to code_thingol.ML
2009-08-10 haftmann 2009-08-10 attempt to move desymbolization to translation
2009-07-29 haftmann 2009-07-29 abstractions: desymbolize name hint
2009-07-22 wenzelm 2009-07-22 merged, resolving trivial conflict;
2009-07-21 haftmann 2009-07-21 integrated add_triv_classes into evaluation stack
2009-07-21 wenzelm 2009-07-21 proper context for Display.pretty_thm etc. or old-style versions Display.pretty_thm_global, Display.pretty_thm_without_context etc.;
2009-07-08 haftmann 2009-07-08 tuned structure Code internally
2009-07-07 haftmann 2009-07-07 tuned interface of structure Code
2009-07-03 haftmann 2009-07-03 cleaned up fundamental iml term functions; nested patterns
2009-06-30 haftmann 2009-06-30 improved treatment of case patterns
2009-06-30 haftmann 2009-06-30 an intermediate step towards a refined translation of cases
2009-06-30 haftmann 2009-06-30 all variable names are optional
2009-06-30 haftmann 2009-06-30 variable names in abstractions are optional
2009-06-30 haftmann 2009-06-30 simplified binding concept
2009-06-23 haftmann 2009-06-23 uniformly capitialized names for subdirectories