now

now tactic is simply notation for tactic; easy.

Syntax

now split.

Examples

Before

=========================
1/1
True /\ 42 = 14 * 3

now split.

After

No more goals.

Resources

Reference Documentation

---