Slides/Slides6.thy
changeset 2891 304dfe6cc83a
parent 2771 66ef2a2c64fb
equal deleted inserted replaced
2890:503630c553a8 2891:304dfe6cc83a