Mention problems with interpretation
-rw-r--r-- 1083 LICENSE
-rw-r--r-- 4800 README.md
-rw-r--r-- 308 Where_To_Move.thy
-rw-r--r-- 126 Where_To_Move_Ex1.thy
-rw-r--r-- 149 Where_To_Move_Ex2.thy
-rw-r--r-- 80 Where_To_Move_Ex3.thy
-rw-r--r-- 444 Where_To_Move_Ex4.thy
-rw-r--r-- 5238 where_to_move.ML