src/Tools/nbe.ML
2007-10-06 wenzelm 2007-10-06 simplified interfaces for outer syntax;
2007-10-04 haftmann 2007-10-04 step towards proper purge operation
2007-09-25 wenzelm 2007-09-25 tuned functor application;
2007-09-23 wenzelm 2007-09-23 TypeInfer.constrain: canonical argument order;
2007-09-18 wenzelm 2007-09-18 simplified PrintMode interfaces;
2007-09-17 wenzelm 2007-09-17 avoid direct access to print_mode;
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