Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified imports for the sake of "hide_const (open) List.nth";
Changeset 9158:d60436a866bb by wenzelm:
clarified imports for the sake of "hide_const (open) List.nth";
The file was modified thys/HOLCF-Prelude/Definedness.thy (diff)
The file was modified thys/HOLCF-Prelude/HOLCF_Main.thy (diff)