Updated old definitions to markdown format