text/obsolete/explicit.tex
changeset 526 803cc581fd42
parent 281 630ceb40a07b
child 774 b88c4c4af945
equal deleted inserted replaced
525:4e4b6505d9ef 526:803cc581fd42