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
author paulson
Tue, 16 Jul 1996 15:49:46 +0200
changeset 1868 836950047d85
parent 1441 7fbe815c18ad
permissions -rw-r--r--
Put in minimal simpset to avoid excessive simplification, just as in revision 1.9 of HOL/indrule.ML
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1256
1f3687711037 fixed $Id$
wenzelm
parents: 1247
diff changeset 
     1
 
$Id$
1247
18b1441fb603 Various axiomatic type class demos;
wenzelm
parents:
diff changeset 
     2
 







1441






7fbe815c18ad
added Lattice demo;



wenzelm


parents: 
1265

diff
changeset




     3


This directory contains the following axiomatic type class examples:








1247






18b1441fb603
Various axiomatic type class demos;



wenzelm


parents: 

diff
changeset




     4














18b1441fb603
Various axiomatic type class demos;



wenzelm


parents: 

diff
changeset




     5


  Tutorial/     Some simple axclass demos that go along with the paper













18b1441fb603
Various axiomatic type class demos;



wenzelm


parents: 

diff
changeset




     6


                "Using Axiomatic Type Classes in Isabelle --- a













18b1441fb603
Various axiomatic type class demos;



wenzelm


parents: 

diff
changeset




     7


                tutorial".













18b1441fb603
Various axiomatic type class demos;



wenzelm


parents: 

diff
changeset




     8









1441






7fbe815c18ad
added Lattice demo;



wenzelm


parents: 
1265

diff
changeset




     9


  Group/        Some bits of group theory.













7fbe815c18ad
added Lattice demo;



wenzelm


parents: 
1265

diff
changeset




    10














7fbe815c18ad
added Lattice demo;



wenzelm


parents: 
1265

diff
changeset




    11


  Lattice/      Basic theory of lattices and orders.















isabelle