| true ->
CicNotation.set_active_notations
(List.map fst (CicNotation.get_all_notations ()))
| false ->
CicNotation.set_active_notations []
| true ->
CicNotation.set_active_notations
(List.map fst (CicNotation.get_all_notations ()))
| false ->
CicNotation.set_active_notations []