Mercurial Mercurial > repos > Old_HOL / 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.
equalities.thy
changeset 252 a4dc62a46ee4
parent 251 f04b33ce250f
child 253 132634d24019
equal deleted inserted replaced
251:f04b33ce250f 252:a4dc62a46ee4 
     1 (*  Title: 	HOL/equalities
 
       
     2     ID:         $Id$
 
       
     3     Author: 	Lawrence C Paulson, Cambridge University Computer Laboratory
 
       
     4     Copyright   1994  University of Cambridge
 
       
     5 
       
     6 Equalities involving union, intersection, inclusion, etc.
 
       
     7 *)
 
       
     8 
       
     9 equalities = subset
Old_HOL