Revision 1092: /trunk/patches

• ..
• ULongTree.n
• always-case-split-on-q.patch
• array_theory_with_internal_splits.patch
• cached-triggermatch.patch
• check-subtrigger.patch
• consequences-partial.patch
• count-linear-triggers.patch
• deepbranch.patch
• important.patch
• left_right_parent.patch
• literal-in-conflict.patch
• model-minimization.patch
• prenex.patch
• pri_lits.patch
• profile-trigger-struct.patch
• remember_is_interpreted.patch
• skolemization-by-importance.patch
• substlite-ht.patch
• true-scoring.patch
• ulong.patch