ProgTutorial/Recipes/TimeLimit.thy
changeset 197 2fe1877f705f
parent 191 0150cf5982ae
child 346 0fea8b7a14a1
equal deleted inserted replaced
196:840b49bfb1cf 197:2fe1877f705f