Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

tuned output syntax: INV and VAR are now blocks

Changeset 75061:57df04e4f018 by nipkow: tuned output syntax: INV and VAR are now blocks
The file was modified	`src/HOL/Hoare/Hoare_Syntax.thy` (diff)