Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOLCF/IOA/meta_theory/Abstraction.ML
changeset 6467 863834a37769
parent 6161 bc2a76ce1ea3
child 7499 23e090051cb8
equal deleted inserted replaced
6466:2eba94dc5951 6467:863834a37769 
     3     Author:     Olaf M"uller
 
     3     Author:     Olaf M"uller
 
     4     Copyright   1997  TU Muenchen
 
     4     Copyright   1997  TU Muenchen
 
     5 
     5 
     6 Abstraction Theory -- tailored for I/O automata
 
     6 Abstraction Theory -- tailored for I/O automata
 
     7 *)   
     7 *)   
       
     8 
     8 
     9 
     9 
    10 
    10 section "cex_abs";
 
    11 section "cex_abs";
 
    11 	
    12 	
    12 
    13
isabelle