# Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
# modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
-Format 2
+Format 3
Input amsart.layout
# Change the definitions of the theorem-like environments to get a