tex2LyX

[Hal Kierstead]

All -

I am using LyX 2.3.0 on macOS 10.13.4. When I try to import a tex file I get 
ert for every theorem type statement. Is there away to avoid this? I know I can 
go through by hand and correct each occurrence, but it would be much better if 
the converter handled it. At least it compiles.

Here is a small example of a tex file and the imported LyX file.

Thanks,

Hal

Test.tex
Description: TeX document

Test.lyx
Description: Binary data