--- a/src/HOLCF/IOA/Storage/ROOT.ML Sat Nov 27 14:34:54 2010 -0800 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,6 +0,0 @@ -(* Title: HOLCF/IOA/Storage/ROOT.ML - Author: Olaf Mueller - -Memory storage case study. -*) -use_thys ["Correctness"];