Police dont use AR-15s. They are full auto M-16s. Bless his action. If the twerp who stole it knew anything about guns, he could have killed a lot of people.
Some police departments have M-16, some have AR15s.
Considering the political correctness level of the MPD, they are likely AR15s, or M16s which have been altered to semi-auto only.