theory Alloc no longer works -- quick_and_dirty;
authorwenzelm
Mon Dec 04 00:06:59 2006 +0100 (2006-12-04)
changeset 21633d1cb78244e30
parent 21632 e7c1f1a77d18
child 21634 369e38e35686
theory Alloc no longer works -- quick_and_dirty;
src/HOL/UNITY/ROOT.ML
     1.1 --- a/src/HOL/UNITY/ROOT.ML	Mon Dec 04 00:05:47 2006 +0100
     1.2 +++ b/src/HOL/UNITY/ROOT.ML	Mon Dec 04 00:06:59 2006 +0100
     1.3 @@ -35,7 +35,9 @@
     1.4  time_use_thy "Comp/TimerArray";
     1.5  
     1.6  (*Allocator example*)
     1.7 -time_use_thy "Comp/Alloc";
     1.8 +(* FIXME some parts no longer work -- had been commented out for a long time *)
     1.9 +setmp quick_and_dirty true
    1.10 +  time_use_thy "Comp/Alloc";
    1.11  time_use_thy "Comp/AllocImpl";
    1.12  time_use_thy "Comp/Client";
    1.13