src/HOL/HOLCF/IOA/Storage/ROOT.ML
author huffman
Sat Nov 27 16:08:10 2010 -0800 (2010-11-27)
changeset 40774 0437dbc127b3
parent 39119 src/HOLCF/IOA/Storage/ROOT.ML@7bfa17bcd5ee
child 42151 4da4fc77664b
permissions -rw-r--r--
moved directory src/HOLCF to src/HOL/HOLCF;
added HOLCF theories to src/HOL/IsaMakefile;
     1 (*  Title:      HOLCF/IOA/Storage/ROOT.ML
     2     Author:     Olaf Mueller
     3 
     4 Memory storage case study.
     5 *)
     6 use_thys ["Correctness"];