| author | haftmann |
| Sat, 15 Sep 2007 19:27:35 +0200 | |
| changeset 24584 | 01e83ffa6c54 |
| parent 19360 | f47412f922ab |
| child 33615 | 261abc2e3155 |
| permissions | -rw-r--r-- |
| haftmann@24584 | 1 |
(* Title: HOLCF/IOA/Storage/ROOT.ML |
| wenzelm@6009 | 2 |
ID: $Id$ |
| kleing@19360 | 3 |
Author: Olaf Mueller |
| wenzelm@6009 | 4 |
|
| wenzelm@6009 | 5 |
Memory storage case study. |
| wenzelm@6009 | 6 |
*) |
| wenzelm@6009 | 7 |
|
| wenzelm@6009 | 8 |
goals_limit := 1; |
| wenzelm@6009 | 9 |
|
| wenzelm@9000 | 10 |
time_use_thy "Correctness"; |