Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

restored document structure after theory refactoring

Changeset 64281:bfc2e92d9b4c by haftmann: restored document structure after theory refactoring
The file was modified	`src/Doc/Main/Main_Doc.thy` (diff)