Summary
- merged
- got rid of unnecessary assumption
- merged
- retain compatibility with GHC 7.8; fix Haskell_Quickcheck setup broken in 61aeecc4093d
- merged
- update to GHC 7.10
- updated dependencies
The file was modified | thys/Amortized_Complexity/Move_to_Front.thy (diff) |
The file was modified | thys/Native_Word/Uint.thy (diff) |
The file was modified | thys/Native_Word/Uint.thy (diff) |
The file was modified | metadata/metadata (diff) |