src/HOL/AxClasses/README.html
changeset 2666 995d34955791
parent 2544 67b444ca0e4f
child 3279 815ef5848324
equal deleted inserted replaced
2665:157ae17d22e5 2666:995d34955791
     5 
     5 
     6 <DL>
     6 <DL>
     7 
     7 
     8 <DT> Tutorial
     8 <DT> Tutorial
     9 <DD> Some simple axclass demos that go along with the paper <A
     9 <DD> Some simple axclass demos that go along with the paper <A
    10 HREF="http://wwwbroy.informatik.tu-muenchen.de/~nipkow/isadist/axclass.dvi.gz">
    10 HREF="http://www4.informatik.tu-muenchen.de/~nipkow/isadist/axclass.dvi.gz">
    11 "Using Axiomatic Type Classes in Isabelle --- a tutorial". </A>
    11 "Using Axiomatic Type Classes in Isabelle --- a tutorial". </A>
    12 
    12 
    13 <P>
    13 <P>
    14 
    14 
    15 <DT> Group
    15 <DT> Group