• Quelle Buck: Michel, mhd. michel groß. Groß bedeutete früher dick, klein aber zart sein. Man konnte also nicht Großwinnenden und Kleinwinnenenden sagen, wenn man keinen Unsinn reden wollte, man sagte: Michelwinidin und Luitzilwinidin. Michelberg, Michelstein, sofern das wie ein anno 1101 genannter Grenzstein alt ze dem michelnstein hieß. Anders wenn der Stein Michelsteinhieß, dann ist St. Michael gemeint. 1294 Michelinmatte deutsche Schweiz 1286 Michelmatun bayer. Stammesgebiet - 1353 an dem sant Michelsberg Ulm.
  Mühle, ahd. muli an zahllosen Namen. Vor dem Jahre 1100 auffallend selten. Gab es damals noch wenig Wassermühlen? Mulibrunnen, Mulitürli, Mülwis, Mühlacker und dergleichen. Entweder bei der Mühle liegende oder zu ihr gehörige Güter. ... Häufig sind die Mühlwege die zu einer Mühle führen. ...

• Quelle Eberl: michel, ahd. mihhil, mhd. michel - groß, viel; Mühle, w., ahd. mulin, mhd. mül.

• Querverweis, siehe dazu auch Mühlberge unter Ortsnamen