Fix uninitialized variables bug

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Refine toplevel API

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Define implies using ite operator. Rename mk_bin_op to mk_bin_rop (it is using right associativity). Add mk_bin_lop (for left assoc).

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Conjunction and Disjunction are right associative. Add notation for implication. Use Isabelle precendence levels.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Refine initialization order. Polish Universe command pretty printer.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Refine initialization order. Polish Universe command pretty printer.