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.
Admin/index.html
changeset 6590 fa5f2ca893c5
parent 6538 d575fb1edabf
child 6749 21f1645f0517
equal deleted inserted replaced
6589:41b44b20a1b4 6590:fa5f2ca893c5 
    50 
    50 
    51 <li> <a href="{ISABELLE}/doc/tutorial.dvi">Tutorial on Isabelle/HOL</a>
 
    51 <li> <a href="{ISABELLE}/doc/tutorial.dvi">Tutorial on Isabelle/HOL</a>
 
    52 <li> <a href="{ISABELLE}/doc/intro.dvi">Introduction to Isabelle</a>
 
    52 <li> <a href="{ISABELLE}/doc/intro.dvi">Introduction to Isabelle</a>
 
    53 <li> <a href="{ISABELLE}/doc/ref.dvi">The Isabelle Reference Manual</a>
 
    53 <li> <a href="{ISABELLE}/doc/ref.dvi">The Isabelle Reference Manual</a>
 
    54 <li> <a href="{ISABELLE}/doc/system.dvi">The Isabelle System Manual</a>
 
    54 <li> <a href="{ISABELLE}/doc/system.dvi">The Isabelle System Manual</a>
 
    55 <li> <a href="{ISABELLE}/doc/logics.dvi">Isabelle's Object-Logics</a>
 
    55 <li> <a href="{ISABELLE}/doc/logics.dvi">Isabelle's Logics: overview and misc logics</a>
 
       
    56 <li> <a href="{ISABELLE}/doc/logics-HOL.dvi">Isabelle's Logics: HOL</a>
 
       
    57 <li> <a href="{ISABELLE}/doc/logics-ZF.dvi">Isabelle's Logics: FOL and ZF</a>
 
    56 <li> <a href="{ISABELLE}/doc/ind-defs.dvi">(Co)Inductive Definitions in ZF</a>
 
    58 <li> <a href="{ISABELLE}/doc/ind-defs.dvi">(Co)Inductive Definitions in ZF</a>
 
    57 <li> <a href="{ISABELLE}/doc/axclass.dvi">Tutorial on Axiomatic Type Classes</a>
 
    59 <li> <a href="{ISABELLE}/doc/axclass.dvi">Tutorial on Axiomatic Type Classes</a>
 
    58 
    60 
    59 </ul>
 
    61 </ul>
 
    60 
    62
isabelle