Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

adjust Word_Lib for isabelle 75f2aa8ecb12

Changeset 7731:0fde68ce04da by kleing: adjust Word_Lib for isabelle 75f2aa8ecb12
The file was modified	`thys/Word_Lib/Word_Lemmas.thy` (diff)