CookBook/infix_conv.ML
2009-02-25 boehmes Polished conversion section.
less more (0) tip