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: Hoare triples are now blocks

Changeset 75062:988d7c7e2254 by nipkow: tuned output syntax: Hoare triples are now blocks
The file was modified	`src/HOL/Hoare/Hoare_Syntax.thy` (diff)