Skip to content
Success

Changes

Summary

  1. merged
  2. got rid of unnecessary assumption
  3. merged
  4. retain compatibility with GHC 7.8; fix Haskell_Quickcheck setup broken in 61aeecc4093d
  5. merged
  6. update to GHC 7.10
  7. updated dependencies
Changeset 6182:56c335bde6ac by nipkow:
merged
Changeset 6181:71acb9e32d62 by nipkow:
got rid of unnecessary assumption
The file was modified thys/Amortized_Complexity/Move_to_Front.thy (diff)
Changeset 6180:d275595bf19b by Andreas Lochbihler:
merged
Changeset 6179:203deaf5208d by Andreas Lochbihler:
retain compatibility with GHC 7.8;<br>fix Haskell_Quickcheck setup broken in 61aeecc4093d
The file was modified thys/Native_Word/Uint.thy (diff)
Changeset 6178:557290f12683 by Andreas Lochbihler:
merged
Changeset 6177:61aeecc4093d by Andreas Lochbihler:
update to GHC 7.10
The file was modified thys/Native_Word/Uint.thy (diff)
Changeset 6176:d2c6355d0008 by rene thiemann _rene.thiemann@uibk.ac.at_:
updated dependencies
The file was modified metadata/metadata (diff)