Be less verbose
-rw-r--r-- 1083 LICENSE
-rw-r--r-- 4870 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-- 444 Where_To_Move_Ex4.thy
-rw-r--r-- 3868 where_to_move.ML