Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

patch for latest Isabelle by Zhe Hou

Changeset 7237:8c33b5594e9e by lars hupel _lars.hupel@mytum.de_: patch for latest Isabelle by Zhe Hou
The file was modified	`thys/SPARCv8/lib/wp/DetMonad.thy` (diff)