ProgTutorial/Recipes/Antiquotes.thy
changeset 197 2fe1877f705f
parent 191 0150cf5982ae
child 292 41a802bbb7df
equal deleted inserted replaced
196:840b49bfb1cf 197:2fe1877f705f