mit doku