chengb@pleiades.cps.msu.edu (Dr. Betty Cheng) (04/25/91)
Does anyone have a short latex file that uses the vdm.sty file? I am looking for something that has an example of the different structures that can be generated using the style file. I am not a tex programmer and thus find some of the tex commands difficult to decipher. In particular, I am interested in finding out what syntax should be used in defining functions, operations, and proofs. Please email me directly if you have sample latex files. thank you, Betty Department of Computer Science Michigan State University (517) 355-8344 chengb@cps.msu.edu p.s. btw, the version that I am using is dated Revision 2.5 88/03/25 by Mario Wolczko. I have not been able to send email to the address that he gave in the file (mario@uk.ac.man.cs.ux).