ProgTutorial/Recipes/TimeLimit.thy
changeset 367 643b1e1d7d29
parent 346 0fea8b7a14a1
child 517 d8c376662bb4
equal deleted inserted replaced
366:06f044466f24 367:643b1e1d7d29