1
(* Title: HOL/IOA/Storage/ROOT.ML
2
ID: $Id$
3
Author: Olaf Mueller
4
Copyright 1998 TU Muenchen
5
6
Memory storage case study.
7
*)
8
9
goals_limit := 1;
10
11
use_thy "Correctness";