Mercurial Mercurial > hg > nominal2 / 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.
QuotScript.thy
changeset 95 8c3a35da4560
parent 93 ec29be471518
child 96 4da714704611
equal deleted inserted replaced
94:ecfc2e1fd15e 95:8c3a35da4560 
   414   assumes a: "EQUIV E"
 
   414   assumes a: "EQUIV E"
 
   415   shows "Bex (Respects E) P = (Ex P)"
 
   415   shows "Bex (Respects E) P = (Ex P)"
 
   416   using a by (metis EQUIV_def IN_RESPECTS a)
 
   416   using a by (metis EQUIV_def IN_RESPECTS a)
 
   417 
   417 
   418 end
 
   418 end
 
       
   419
nominal2