-Q lib GQM.Lib -Q theories GQM -arg -w -arg -notation-overridden theories/Base.v theories/GQM.v theories/GQMClassical.v theories/GQMClassicalWithTactics.v theories/GQMDeduction.v theories/GQMTactics.v theories/Section5.v lib/LibTactics.v