src/Tools/code/code_wellsorted.ML
2009-05-11 haftmann 2009-05-11 tuned interface of module Code_Unit
2009-05-07 haftmann 2009-05-07 dropped explicit suppport for frees in evaluation conversion stack
2009-05-04 haftmann 2009-05-04 removed code_name module
2009-04-24 haftmann 2009-04-24 generic postprocessing scheme for term evaluations
2009-04-17 haftmann 2009-04-17 re-engineering of evaluation conversions
2009-04-17 haftmann 2009-04-17 diagnostic commands now in code_thingol; tuned code of funny continuations
2009-04-06 haftmann 2009-04-06 tuned whitespace
2009-03-28 haftmann 2009-03-28 second attempt for code_deps command
2009-03-02 haftmann 2009-03-02 reduced confusion code_funcgr vs. code_wellsorted
2009-02-25 haftmann 2009-02-25 robustified
2009-02-23 haftmann 2009-02-23 repaired order of variable node allocation
2009-02-23 haftmann 2009-02-23 use canonical subalgebra projection
2009-02-22 haftmann 2009-02-22 clarified status of variables in evaluation terms; tuned header
2009-02-22 haftmann 2009-02-22 more liberality needed
2009-02-22 haftmann 2009-02-22 simplified evaluation
2009-02-22 haftmann 2009-02-22 first attempt to solve evaluation bootstrap problem
2009-02-20 haftmann 2009-02-20 also consider superclasses properly
2009-02-20 haftmann 2009-02-20 consequent use of term `code equation`
2009-02-20 haftmann 2009-02-20 tuned and incremental version of wellsorting algorithm