Changes

Summary

resurrected 5fc6589cb7f2, which got lost in merge Also included a few earlier proof tweaks.

Changeset 9372:cbc74aa1603c by kleing: resurrected 5fc6589cb7f2, which got lost in merge<br><br>Also included a few earlier proof tweaks.
The file was modified	`thys/Word_Lib/Word_Lemmas.thy` (diff)