text/obsolete/explicit.tex
changeset 707 d00275e7a9bd
parent 281 630ceb40a07b
child 774 b88c4c4af945
equal deleted inserted replaced
706:553808396b6f 707:d00275e7a9bd