 ;;; VERSION STRING
 
 (defconst specware-mode-version-string
-  "specware-mode, Version 4.2.5")
+  "specware-mode, Version 4.2.6")
 
 (provide 'specware-mode)
 

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

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