src/Tools/nbe.ML
2007-09-15 haftmann 2007-09-15 delayed evaluation
2007-09-01 wenzelm 2007-09-01 replaced ProofContext.read_term/prop by general Syntax.read_term/prop;
2007-08-30 wenzelm 2007-08-30 replaced ProofContext.infer_types by general Syntax.check_terms;
2007-08-24 haftmann 2007-08-24 overloaded definitions accompanied by explicit constants
2007-08-21 haftmann 2007-08-21 improved evaluation interface
2007-08-20 haftmann 2007-08-20 explizit dependencies
2007-08-16 haftmann 2007-08-16 added evaluation examples
2007-08-15 haftmann 2007-08-15 tuned
2007-08-10 haftmann 2007-08-10 new structure for code generator modules
2007-08-07 haftmann 2007-08-07 new nbe implementation
2007-08-06 haftmann 2007-08-06 nbe improved