Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more Windows-friendly name;
Changeset 7239:d35c53452d71 by wenzelm:
more Windows-friendly name;
The file was addedthys/LTL_to_DRA/Auxiliary/List2.thy
The file was addedthys/LTL_to_DRA/Auxiliary/Map2.thy
The file was addedthys/LTL_to_DRA/Auxiliary/Mapping2.thy
The file was addedthys/LTL_to_DRA/Auxiliary/Preliminaries2.thy
The file was modified thys/LTL_to_DRA/DTS.thy (diff)
The file was modified thys/LTL_to_DRA/Impl/LTL_Rabin_Impl.thy (diff)
The file was modified thys/LTL_to_DRA/Logical_Characterization.thy (diff)
The file was modified thys/LTL_to_DRA/Mojmir_Rabin.thy (diff)
The file was modified thys/LTL_to_DRA/Semi_Mojmir.thy (diff)
The file was modified thys/LTL_to_DRA/af.thy (diff)
The file was removedthys/LTL_to_DRA/Aux/List2.thy
The file was removedthys/LTL_to_DRA/Aux/Map2.thy
The file was removedthys/LTL_to_DRA/Aux/Mapping2.thy
The file was removedthys/LTL_to_DRA/Aux/Preliminaries2.thy