On the local homology theory for Artinian modules