Contents

• Introduction
• A first example
• Description of the system
  • The two main windows
  • The mouse
  • The scratch area
    • The File-menu
    • The Define-menu
    • The Construct-menu
    • The Edit-menu
    • The Goal-menu
    • The Context-menu
    • The View-menu
  • The constraints
• The ALF Libraries
  • The Micro Library
  • The Contributions Library
• History of the system
• Acknowledgements
• References
• About this document ...