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/HOL/ex/README.html
changeset 3279 815ef5848324
parent 3123 f58719b49cae
child 7146 3c664fbb2910
equal deleted inserted replaced
3278:636322bfd057 3279:815ef5848324 
     1 <!-- $Id$ -->
 
     1 <!-- $Id$ -->
 
     2 <HTML><HEAD><TITLE>HOL/ex/ReadMe</TITLE></HEAD><BODY>
 
     2 <HTML><HEAD><TITLE>HOL/ex/README</TITLE></HEAD><BODY>
 
     3 
     3 
     4 <H2>ex--Miscellaneous Examples</H2>
 
     4 <H2>ex--Miscellaneous Examples</H2>
 
     5 
     5 
     6 <P>This directory presents a number of small examples, illustrating various
 
     6 <P>This directory presents a number of small examples, illustrating various
 
     7 features of Isabelle/HOL.
 
     7 features of Isabelle/HOL.
isabelle