src/HOLCF/IOA/Storage/Spec.thy
2010-02-17 huffman 2010-02-17 remove $ from all HOLCF files
2008-06-25 wenzelm 2008-06-25 modernized specifications;
2006-05-27 wenzelm 2006-05-27 removed legacy ML scripts;
2005-09-03 wenzelm 2005-09-03 converted to Isar theory format;
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2001-11-15 wenzelm 2001-11-15 GPLed;
1998-12-02 mueller 1998-12-02 Memory storage case study from PhD p.240;