-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