Next: Environments
Up: classnote 20
Previous: Review of
When 
terms are large, it is convenient to use the let
construct to introduce abbreviations. For these examples we use a
notation like ML's, but the definition is just this.
Definition let 
in 
~is ~ 