Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merge
  2. moved parts from IsaFoR into AFP
Changeset 9394:c5634d89c985 by rene thiemann _rene.thiemann@uibk.ac.at_:
merge
Changeset 9393:86138887b7c8 by rene thiemann _rene.thiemann@uibk.ac.at_:
moved parts from IsaFoR into AFP
The file was modified thys/Abstract-Rewriting/Abstract_Rewriting.thy (diff)
The file was modified thys/Certification_Monads/Error_Monad.thy (diff)