Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. proper whitespace according to "isabelle check_sources";
Changeset 8542:ebeeb7e61568 by wenzelm:
proper whitespace according to "isabelle check_sources";
The file was modified thys/Buchi_Complementation/ROOT (diff)
The file was modified thys/FOL_Harrison/ROOT (diff)
The file was modified thys/Transition_Systems_and_Automata/ROOT (diff)