Tutorial Index
updated 10/14/05

Reading this tutorial in PDF version is not as nice as using the online version, available from the Alloy website.
  http://alloy.mit.edu/
  http://alloy.mit.edu/tutorial3/alloy-tutorial.html
The tutorial is linear for the most part, so it is ok to read the static version.  There are, however, a few things you need to be aware of when doing so:

(1) Each lesson contains "Main Text" and an associated "Model".  They are intended to be viewed side by side.

(2) Associated with the tutorial are a number of "Sidenotes".  Some sidenotes contain additional details about language features, while others elaborate particular lessons.  The former are not strictly necessary for the tutorial and have been lumped into the sidenote folder.  The latter have been been put into the appropriate lesson folder (and are listed in the index below).

(3) Below is the order in which we recommend that you read the tutorial --
indents show directory structure.  The zip's directory structure is suggestive of this ordering.  Remember that the Main Text and Model files should be viewed concurrently.

-----------------------------

Contact Information.pdf

Chapter 0 - Introduction
  Introduction.pdf
  Philosophy.pdf
  Alloy 2 vs Alloy 3.pdf

Chapter 1 - File System (checking properties, simulation)
  File System Lesson 1
    Main Text.pdf
    Model.pdf
    Model Compressed.pdf
    alternative-defineContents.pdf
    alternative-static-appended.pdf
    acyclic-explanation.pdf
  File System Lesson 1.5 (Walkthrough)
    Main Text.pdf
    Model.pdf
    Runthrough.pdf
  File System Lesson 2
    Main Text.pdf
    Model.pdf
    alternative-run-example.pdf
  File System Lesson 3
    Main Text.pdf
    Model.pdf
    filesystem.cst
  File System Lesson 4
    Main Text.pdf
    Model.pdf
  File System Lesson 5
    Main Text.pdf
    Model.pdf
  File System Lesson 6
    Main Text.pdf
    Model.pdf

Chapter 2 - River Crossing (a planning problem)
  River-Crossing-Puzzle.pdf
  River-Crossing-Solution-And-Variations.pdf
  River Crossing Lesson 1
    Main Text.pdf
    Model.pdf
  River Crossing Lesson 2
    Main Text.pdf
    Model.pdf
    only-one-item-answer.pdf
  River Crossing Lesson 3
    Main Text.pdf
    Model.pdf
    alternative-run-solvepuzzle.pdf

Sidenotes (not necessary for basic understanding)
  Overviews and Fundamentals (read in roughly this order)
    operational-declarative.pdf
    underconstraint.pdf
    overconstraint.pdf
    levels-of-understanding.pdf
    OO-paradigm.pdf
    relations-everywhere.pdf
    relations-are-ordered-pairs.pdf
    ternary.pdf
  Syntax and Semantics (listed in no particular order)
    combining-modules.pdf
    format-appended-fact.pdf
    format-arrow.pdf
    format-assert.pdf
    format-check.pdf
    format-comments.pdf
    format-fact.pdf
    format-functions.pdf
    format-module.pdf
    format-pred.pdf
    format-run.pdf
    format-sig.pdf
    logic-ops.pdf
    multiplicity.pdf
    non-reflexive-transitive-closure.pdf
    qualifiers.pdf
    quantifiers.pdf
    reflexive-transitive-closure.pdf
    relation-ops.pdf
    relational-join.pdf
    set-ops.pdf

-----------------------------