Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. eliminated redundant imports;
  3. clarified parent session (see also Isabelle/1dd5633f5862);
Changeset 8367:9cfcfdf3601f by wenzelm:
merged
Changeset 8366:69bf4cbc7eec by wenzelm:
eliminated redundant imports;
The file was modified thys/Circus/ROOT (diff)
The file was modified thys/HOLCF-Prelude/ROOT (diff)
The file was modified thys/PCF/ROOT (diff)
The file was modified thys/Shivers-CFA/ROOT (diff)
Changeset 8365:48210a194d44 by wenzelm:
clarified parent session (see also Isabelle/1dd5633f5862);
The file was modified thys/Launchbury/ROOT (diff)