updated comments
authorpaulson
Tue Jan 19 11:15:40 1999 +0100 (1999-01-19)
changeset 6138b7e6e607bb4d
parent 6137 5cb525437aab
child 6139 26abad27b03c
updated comments
src/HOL/UNITY/Comp.thy
     1.1 --- a/src/HOL/UNITY/Comp.thy	Tue Jan 19 11:15:03 1999 +0100
     1.2 +++ b/src/HOL/UNITY/Comp.thy	Tue Jan 19 11:15:40 1999 +0100
     1.3 @@ -6,6 +6,11 @@
     1.4  Composition
     1.5  
     1.6  From Chandy and Sanders, "Reasoning About Program Composition"
     1.7 +
     1.8 +QUESTIONS:
     1.9 +  refines_def: needs the States F = States G?
    1.10 +
    1.11 +  uv_prop, component: should be States F = States (F Join G)
    1.12  *)
    1.13  
    1.14  Comp = Union +