Even more todo
-rw-r--r-- 1083 LICENSE
-rw-r--r-- 4729 README.md
-rw-r--r-- 271 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-- 422 Where_To_Move_Ex4.thy
-rw-r--r-- 4036 where_to_move.ML