Improved doc for Logics
Improved doc for Logics

Conflicts:
	src/common/Logics.mli