src/Tools/nbe.ML
2007-08-07 haftmann 2007-08-07 new nbe implementation
2007-08-06 haftmann 2007-08-06 nbe improved