Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. adapted Decl_Sem_Fun_PL from Isabelle 2016-1 to development
  2. adapted DynamicArchitectures from 2016-1 to development
Changeset 8151:51b9c8e0af07 by rene thiemann _rene.thiemann@uibk.ac.at_:
adapted Decl_Sem_Fun_PL from Isabelle 2016-1 to development
The file was modified thys/Decl_Sem_Fun_PL/DeclSemAsNDInterpFSet.thy (diff)
The file was modified thys/Decl_Sem_Fun_PL/MutableRef.thy (diff)
Changeset 8150:b794fc788bea by rene thiemann _rene.thiemann@uibk.ac.at_:
adapted DynamicArchitectures from 2016-1 to development
The file was modified thys/DynamicArchitectures/Dynamic_Architecture_Calculus.thy (diff)