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