As part of my ongoing efforts to introduce the use of SML to complement the teaching of discrete math, I have prepared some slides showing one way to print truth tables. Since my knowledge and experience in SML is so limited, I would appreciate any constructive comments on how to improve this approach. (I am afraid my many years of using C++ has made it difficult to transition to the functional way of thinking!)

Attached is pdf of slides with SML embedded. (similar to literate programming). I am grateful for the use of ProofPower as a development environment since it allows me to combine Latex and SML in one document and extract the pieces when needed.

-Dave