Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merge
  2. moved lemmas/defs from IsaFoR into AFP
  3. moved lemmas/defs from IsaFoR into AFP
  4. moved lemmas/defs from IsaFoR into AFP
  5. moved lemmas and definitions from IsaFoR into AFP
  6. moved lemma from IsaFoR into AFP
Changeset 9388:074b9b0d0e60 by rene thiemann _rene.thiemann@uibk.ac.at_:
merge
Changeset 9387:33b9392f5e02 by rene thiemann _rene.thiemann@uibk.ac.at_:
moved lemmas/defs from IsaFoR into AFP
The file was modified thys/Abstract-Rewriting/Abstract_Rewriting.thy (diff)
Changeset 9386:2c79315e0129 by rene thiemann _rene.thiemann@uibk.ac.at_:
moved lemmas/defs from IsaFoR into AFP
The file was modified thys/Abstract-Rewriting/Abstract_Rewriting.thy (diff)
The file was modified thys/Abstract-Rewriting/Relative_Rewriting.thy (diff)
Changeset 9385:263bed9145d1 by rene thiemann _rene.thiemann@uibk.ac.at_:
moved lemmas/defs from IsaFoR into AFP
The file was modified thys/Abstract-Rewriting/Abstract_Rewriting.thy (diff)
The file was modified thys/Certification_Monads/Check_Monad.thy (diff)
The file was modified thys/Polynomials/Polynomials.thy (diff)
Changeset 9384:05b6221d0438 by rene thiemann _rene.thiemann@uibk.ac.at_:
moved lemmas and definitions from IsaFoR into AFP
The file was modified thys/Abstract-Rewriting/Abstract_Rewriting.thy (diff)
The file was modified thys/Polynomials/Polynomials.thy (diff)
Changeset 9383:bb3091cd60f0 by rene thiemann _rene.thiemann@uibk.ac.at_:
moved lemma from IsaFoR into AFP
The file was modified thys/Abstract-Rewriting/Relative_Rewriting.thy (diff)