Mercurial Mercurial > wneuper > isa / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
src/Tools/isac/Doc/Specify_Phase/Specify_Phase.thy
changeset 60190 df5045d244d1
parent 60189 6b021e8cb8da
child 60707 0710b74705f7
equal deleted inserted replaced
60189:6b021e8cb8da 60190:df5045d244d1 
     4   imports "Specify.Specify"
 
     4   imports "Specify.Specify"
 
     5 begin
 
     5 begin
 
     6 (*>*)
 
     6 (*>*)
 
     7 
     7 
     8 text \<open>
 
     8 text \<open>
 
     9 chapter \<open>Interactive Specification in an \isac-Calculation\<close>
 
     9 \chapter{Interactive Specification in an \isac-Calculation}
 
       
    10 
       
    11 TODO
 
    10 \<close>
 
    12 \<close>
 
    11 
    13 
    12 (*<*)
 
    14 (*<*)
 
    13 end
 
    15 end
 
    14 (*>*)
 
    16 (*>*)
wneuper/isa