CookBook/Recipes/TimeLimit.thy
changeset 128 693711a0c702
parent 102 5e309df58557
child 155 b6fca043a796
equal deleted inserted replaced
127:74846cb0fff9 128:693711a0c702