Lectures 5 and 6: Structures and Signatures
<% ShowSMLFile("lec05.sml") %>