Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

added missing file (amending f533820e7248);

Changeset 65553:006a274cdbc2 by wenzelm: added missing file (amending f533820e7248);
The file was added	`src/HOL/Main.thy`