Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Adapted to isabelle/2a6ef5ba4822
Changeset 8990:90bc651cbc2c by manuel eberl _eberlm@in.tum.de_:
Adapted to isabelle/2a6ef5ba4822
The file was modified thys/MonoBoolTranAlgebra/Mono_Bool_Tran.thy (diff)
The file was modified thys/MonoBoolTranAlgebra/Mono_Bool_Tran_Algebra.thy (diff)
The file was modified thys/MonoBoolTranAlgebra/Statements.thy (diff)
The file was modified thys/Refine_Imperative_HOL/benchmarks/NestedDFS/isabelle/NDFS_Benchmark_export.sml (diff)
The file was modified thys/Tree-Automata/code/haskell/generated/Array.hs (diff)