Version 1.10: 20051009
        Added three drag-&-drop proof exercises.

Version 1.01 ( 2005-03-06)
   typos