provide maintainers as seen in AFP/admin;
suppress empty properties;
chapter Toolssession Spec_Check in Spec_Check = Pure + theories Spec_Check Examplessession SML in SML = Pure + theories Examplessession Haskell in Haskell = Pure + theories Haskell theories [condition = ISABELLE_GHC_STACK] Test