added "SMT." qualifier for constant to make it possible to reload "smt_monomorph.ML" from outside the "SMT" theory (for experiments) -- this is also consistent with the other SMT constants mentioned in this source file

--- a/src/HOL/Tools/SMT/smt_monomorph.ML	Thu May 12 15:29:19 2011 +0200
+++ b/src/HOL/Tools/SMT/smt_monomorph.ML	Thu May 12 15:29:19 2011 +0200
@@ -51,7 +51,7 @@
 
 fun collect_consts_if pred f =
   let
-    fun collect (@{const trigger} $ p $ t) = collect_trigger p #> collect t
+    fun collect (@{const SMT.trigger} $ p $ t) = collect_trigger p #> collect t
       | collect (t $ u) = collect t #> collect u
       | collect (Abs (_, _, t)) = collect t
       | collect (Const c) = if is_const pred c then f c else I