Using LyX

[Hal Kierstead]

I am trying to get started using LyX for writing mathematics.  The  
program looks very promising, but I cannot import existing LaTex  
files into LyX in a usable form.  All the theorems and proofs appear  
as drt.  Is there a way to resolve this problem?

Hal Kierstead