Status

Changes

Console Output

View Build Information

Polling Log

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

moved from IsaFoR (4eeec639eb89)
moved from IsaFoR (ef8ab5734717)
moved from IsaFoR (235fed634add)
moved from IsaFoR (184d2ed81baa)
moved facts from IsaFoR (82a44ec52a44)

Changeset 6222:797ef39aa976 by Christian Sternagel: moved from IsaFoR (4eeec639eb89)
The file was modified	`thys/Abstract-Rewriting/Abstract_Rewriting.thy` (diff)
Changeset 6221:089caf1849f2 by Christian Sternagel: moved from IsaFoR (ef8ab5734717)
The file was modified	`thys/Certification_Monads/Check_Monad.thy` (diff)
The file was modified	`thys/Certification_Monads/Error_Monad.thy` (diff)
Changeset 6220:eba2a1a0f044 by Christian Sternagel: moved from IsaFoR (235fed634add)
The file was modified	`thys/Abstract-Rewriting/Abstract_Rewriting.thy` (diff)
Changeset 6219:6e336edb038d by Christian Sternagel: moved from IsaFoR (184d2ed81baa)
The file was modified	`thys/Certification_Monads/Check_Monad.thy` (diff)
Changeset 6218:d390d7834d0d by Christian Sternagel: moved facts from IsaFoR (82a44ec52a44)
The file was modified	`thys/Abstract-Rewriting/Abstract_Rewriting.thy` (diff)