doc-src/TutorialI/Misc/appendix.thy
changeset 38806 0aafc7e81056
parent 31677 799aecc0df56
equal deleted inserted replaced
38805:b09d8603f865 38806:0aafc7e81056