src/Tools/code/code_name.ML
2008-07-15 haftmann 2008-07-15 tuned code theorem bookkeeping
2008-07-11 haftmann 2008-07-11 tuned thyname lookup
2008-06-26 haftmann 2008-06-26 class theory name lookup improved
2008-06-20 haftmann 2008-06-20 using tages to find theory names
2008-06-10 haftmann 2008-06-10 major refactorings in code generator modules
2008-01-28 wenzelm 2008-01-28 added ::: / @@@ scanner combinators;
2007-12-10 haftmann 2007-12-10 moved instance parameter management from class.ML to axclass.ML
2007-11-28 haftmann 2007-11-28 tuned interfaces of class module
2007-11-08 haftmann 2007-11-08 added purify_sym
2007-11-06 haftmann 2007-11-06 clarifying comment
2007-10-08 haftmann 2007-10-08 simplified evaluation
2007-10-04 haftmann 2007-10-04 clarified name suffix
2007-10-02 haftmann 2007-10-02 clarified role of class relations
2007-08-24 haftmann 2007-08-24 overloaded definitions accompanied by explicit constants
2007-08-10 haftmann 2007-08-10 new structure for code generator modules