Added documentation for ax_specification, as well as a small comparison of ax_specification and specification.
Added documentation for ax_specification, as well as a small comparison of
ax_specification and specification.

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle