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/Modal/ex/S4thms.ML
changeset 1461 6bcb44e4d6e5
parent 0 a5a9c433f639
equal deleted inserted replaced
1460:5a6f2aabd538 1461:6bcb44e4d6e5 
     1 (*  Title: 	91/Modal/ex/S4thms
 
     1 (*  Title:      91/Modal/ex/S4thms
 
     2     ID:         $Id$
 
     2     ID:         $Id$
 
     3     Author: 	Martin Coen
 
     3     Author:     Martin Coen
 
     4     Copyright   1991  University of Cambridge
 
     4     Copyright   1991  University of Cambridge
 
     5 *)
 
     5 *)
 
     6 
     6 
     7 (* Theorems of system S4 from Hughes and Cresswell, p.46 *)
 
     7 (* Theorems of system S4 from Hughes and Cresswell, p.46 *)
 
     8 
     8
isabelle