Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Drop lemmas already provided by HOL-Library;
Changeset 6477:5325a4a51d95 by salomon sickert _sickert@in.tum.de_:
Drop lemmas already provided by HOL-Library;
The file was modified thys/LTL_to_DRA/Aux/List2.thy (diff)
The file was modified thys/LTL_to_DRA/Aux/Preliminaries2.thy (diff)
The file was modified thys/LTL_to_DRA/DTS.thy (diff)
The file was modified thys/LTL_to_DRA/Impl/Export_Code.thy (diff)
The file was modified thys/LTL_to_DRA/Impl/af_Impl.thy (diff)
The file was modified thys/LTL_to_DRA/LTL_FGXU.thy (diff)
The file was modified thys/LTL_to_DRA/LTL_Rabin_Unfold_Opt.thy (diff)
The file was modified thys/LTL_to_DRA/Mojmir.thy (diff)
The file was modified thys/LTL_to_DRA/Mojmir_Rabin.thy (diff)
The file was modified thys/LTL_to_DRA/af.thy (diff)
The file was removedthys/LTL_to_DRA/Aux/AList_Mapping2.thy
The file was removedthys/LTL_to_DRA/Aux/Words2.thy