(in-package "MILAWA")
(ACL2::include-book "../../interface/top" :ttags :all)
(ACL2::reset-prehistory)
:q
(ACL2::save-exec "../../acl2-images/utilities-symmetry"
                 "Symmetry -- The Milawa User Interface.")