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.
NEWS
changeset 38788 ec9a4926e3c6
parent 38708 8915e3ce8655
child 38795 848be46708dc
equal deleted inserted replaced
38787:948c002d773b 38788:ec9a4926e3c6 
   102 
   102 
   103   constants
 
   103   constants
 
   104     Trueprop ~> HOL.Trueprop
 
   104     Trueprop ~> HOL.Trueprop
 
   105     True ~> HOL.True
 
   105     True ~> HOL.True
 
   106     False ~> HOL.False
 
   106     False ~> HOL.False
 
       
   107     op --> ~> HOL.implies
 
   107     Not ~> HOL.Not
 
   108     Not ~> HOL.Not
 
   108     The ~> HOL.The
 
   109     The ~> HOL.The
 
   109     All ~> HOL.All
 
   110     All ~> HOL.All
 
   110     Ex ~> HOL.Ex
 
   111     Ex ~> HOL.Ex
 
   111     Ex1 ~> HOL.Ex1
 
   112     Ex1 ~> HOL.Ex1
isabelle