1 (* Title: HOLCF/IOA/Storage/ROOT.ML
2 Author: Olaf Mueller
3
4 Memory storage case study.
5 *)
6 use_thys ["Correctness"];