Be less verbose
[isa-where-to-move.git] / Where_To_Move_Ex4.thy
2014-12-19 Joachim BreitnerBe less verbose
2014-12-18 Joachim BreitnerInitial release