Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. adapted imports from 2016-1 for new AFP entry HOLCF-Prelude
Changeset 8149:38011336055c by rene thiemann _rene.thiemann@uibk.ac.at_:
adapted imports from 2016-1 for new AFP entry HOLCF-Prelude
The file was modified thys/HOLCF-Prelude/ROOT (diff)
The file was modified thys/HOLCF-Prelude/examples/Sieve_Primes.thy (diff)