vdm package 2000/04/06 10:37:33 rahtz Typesetting VDM schemas. 162273 texmf/tex/latex/vdm/* texmf/tpm/package/vdm.tpm texmf/doc/latex/vdm/* texmf/tex/latex/vdm/vdm.sty texmf/tpm/package/vdm.tpm texmf/doc/latex/vdm/vdm.dvi texmf/doc/latex/vdm/vdm.tex package/vdm