 		    (format
 		     "(let ((TypeObligations::generateTerminationConditions? nil)
                             (TypeObligations::generateExhaustivityConditions? nil)
+                            (TypeObligations::omitDefSubtypeConstrs? t)
                             (Prover::treatNatSpecially? nil))
                         (IsaTermPrinter::deleteThyFilesForUID %S)
                         (IsaTermPrinter::printUIDtoThyFile-2 %S t))"

;;; VERSION STRING

(defconst specware-mode-version-string
  "specware-mode, Version 4.2.5")

(provide 'specware-mode)


		    (format
		     "(let ((TypeObligations::generateTerminationConditions? nil)
                            (TypeObligations::generateExhaustivityConditions? nil)
                            (TypeObligations::omitDefSubtypeConstrs? t)
                            (Prover::treatNatSpecially? nil))
                        (IsaTermPrinter::printUIDtoThyFile-2 %S %s))"
		     filename
