thys2/Translation2.thy
changeset 286 b49ff5328a66
parent 271 4457185b22ef