src/HOL/UNITY/ROOT.ML
changeset 28866 30cd9d89a0fb
parent 28529 7ff939586e83
child 32624 3dec57ec3473
     1.1 --- a/src/HOL/UNITY/ROOT.ML	Thu Nov 20 19:06:05 2008 +0100
     1.2 +++ b/src/HOL/UNITY/ROOT.ML	Thu Nov 20 19:43:34 2008 +0100
     1.3 @@ -36,6 +36,7 @@
     1.4    "Comp/Priority",
     1.5  
     1.6    "Comp/TimerArray",
     1.7 +  "Comp/Progress",
     1.8  
     1.9    (*obsolete*)
    1.10    "ELT"