IM_Alloyの修正を行いました．

一旦IM_Alloyが出来ましたので上げています．

DTRAM の概要説明を書き終えました．

Alloy の概要説明を書き終えました．

Alloyの説明を途中まで書いた．

DTRAMの紛らわしいモデルファイルを削除した．

DTRAMの課題用モデルファイルを追加した．

Alloyの課題を変更し，モデルファイルを修正した．

ツールのスクリーンショットとInventoryManagementの修正版です。

モデルファイルを上げておきます。

ひとまず自分の担当領域の分をコミットして上げておきます。

Initial commit