Intorduction to Alloy and Clafer Documents have been uploaded.