Mercurial Mercurial > repos > isabelle / annotate
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/AxClasses/README.html
author wenzelm
Mon, 18 Sep 2006 19:40:14 +0200
changeset 20582 ebd0e03c6a9b
parent 17748 c93279ba600a
permissions -rw-r--r--
* Pure: 'class_deps' command visualizes the subclass relation;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
15283
f21466450330 DOCTYPE declaration added
webertj
parents: 10134
diff changeset 
     1
 
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
f21466450330 DOCTYPE declaration added
webertj
parents: 10134
diff changeset 
     2
 







10134






537206cc738f
moved axclass tutorial examples to top dir;



wenzelm


parents: 

diff
changeset




     3


<!-- $Id$ -->








15582






7219facb3fd0
HTML 4.01 Transitional conformity



webertj


parents: 
15283

diff
changeset




     4









10134






537206cc738f
moved axclass tutorial examples to top dir;



wenzelm


parents: 

diff
changeset




     5


<html>













537206cc738f
moved axclass tutorial examples to top dir;



wenzelm


parents: 

diff
changeset




     6














537206cc738f
moved axclass tutorial examples to top dir;



wenzelm


parents: 

diff
changeset




     7


<head>








15582






7219facb3fd0
HTML 4.01 Transitional conformity



webertj


parents: 
15283

diff
changeset




     8


  <meta http-equiv="content-type" content="text/html;charset=iso-8859-1">













7219facb3fd0
HTML 4.01 Transitional conformity



webertj


parents: 
15283

diff
changeset




     9


  <title>HOL/AxClasses</title>








10134






537206cc738f
moved axclass tutorial examples to top dir;



wenzelm


parents: 

diff
changeset




    10


</head>













537206cc738f
moved axclass tutorial examples to top dir;



wenzelm


parents: 

diff
changeset




    11














537206cc738f
moved axclass tutorial examples to top dir;



wenzelm


parents: 

diff
changeset




    12


<body>













537206cc738f
moved axclass tutorial examples to top dir;



wenzelm


parents: 

diff
changeset




    13


<h1>HOL/AxClasses</h1>













537206cc738f
moved axclass tutorial examples to top dir;



wenzelm


parents: 

diff
changeset




    14














537206cc738f
moved axclass tutorial examples to top dir;



wenzelm


parents: 

diff
changeset




    15


These are the HOL examples of the tutorial <a








17748






c93279ba600a
fixed broken link



haftmann


parents: 
15582

diff
changeset




    16


href="http://isabelle.in.tum.de/dist/Isabelle/doc/axclass.pdf">Using Axiomatic Type








10134






537206cc738f
moved axclass tutorial examples to top dir;



wenzelm


parents: 

diff
changeset




    17


Classes in Isabelle</a>.  See also FOL/ex/NatClass for the natural













537206cc738f
moved axclass tutorial examples to top dir;



wenzelm


parents: 

diff
changeset




    18


number example.













537206cc738f
moved axclass tutorial examples to top dir;



wenzelm


parents: 

diff
changeset




    19


</body>













537206cc738f
moved axclass tutorial examples to top dir;



wenzelm


parents: 

diff
changeset




    20


</html>















isabelle