| Right of loc
| Ring of loc
| Split of loc
- | Subst of loc * string
+ | Subst of loc
| Symmetry of loc
| Transitivity of loc * 'term
(* Costruttori Aggiunti *)
| Try of loc * ('term, 'lazy_term, 'reduction, 'ident) tactical
(* try a tactical and mask failures *)
| Solve of loc * ('term, 'lazy_term, 'reduction, 'ident) tactical list
+ | Progress of loc * ('term, 'lazy_term, 'reduction, 'ident) tactical
| Dot of loc
| Semicolon of loc