Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

adjusted to new simp rules in d6f39f27f044

Changeset 7935:48a2fce15dcd by traytel: adjusted to new simp rules in d6f39f27f044
The file was modified	`thys/Coinductive_Languages/Coinductive_Regular_Set.thy` (diff)