It seems to me that the situation regarding lions in Australia is a bit confused.
Most zoos here list their lions with ISIS as simply Panthera leo, but some show their lions as P. l. senegalensis and others as P. l. krugeri.
Have these races been confirmed?
I think the last white lion importation (now at DDZ and Zoodoo in Tasmania) were listed as Krugeri. Supposedly one lion at Taronga is listed as a Kalahari lion?