Admin/index.html
changeset 7045 d6595926aa10
parent 6749 21f1645f0517
child 7948 61102e8cbe3c
equal deleted inserted replaced
7044:193a8601fabd 7045:d6595926aa10
    52 <ul>
    52 <ul>
    53 
    53 
    54 <li> <a href="{ISABELLE}/doc/tutorial.pdf">Tutorial on Isabelle/HOL</a>
    54 <li> <a href="{ISABELLE}/doc/tutorial.pdf">Tutorial on Isabelle/HOL</a>
    55 <li> <a href="{ISABELLE}/doc/intro.pdf">Introduction to Isabelle</a>
    55 <li> <a href="{ISABELLE}/doc/intro.pdf">Introduction to Isabelle</a>
    56 <li> <a href="{ISABELLE}/doc/ref.pdf">The Isabelle Reference Manual</a>
    56 <li> <a href="{ISABELLE}/doc/ref.pdf">The Isabelle Reference Manual</a>
       
    57 <li> <a href="{ISABELLE}/doc/isar-ref.pdf">The Isabelle/Isar Reference Manual</a>
    57 <li> <a href="{ISABELLE}/doc/system.pdf">The Isabelle System Manual</a>
    58 <li> <a href="{ISABELLE}/doc/system.pdf">The Isabelle System Manual</a>
    58 <li> <a href="{ISABELLE}/doc/logics.pdf">Isabelle's Logics: overview and misc logics</a>
    59 <li> <a href="{ISABELLE}/doc/logics.pdf">Isabelle's Logics: overview and misc logics</a>
    59 <li> <a href="{ISABELLE}/doc/logics-HOL.pdf">Isabelle's Logics: HOL</a>
    60 <li> <a href="{ISABELLE}/doc/logics-HOL.pdf">Isabelle's Logics: HOL</a>
    60 <li> <a href="{ISABELLE}/doc/logics-ZF.pdf">Isabelle's Logics: FOL and ZF</a>
    61 <li> <a href="{ISABELLE}/doc/logics-ZF.pdf">Isabelle's Logics: FOL and ZF</a>
    61 <li> <a href="{ISABELLE}/doc/ind-defs.pdf">(Co)Inductive Definitions in ZF</a>
    62 <li> <a href="{ISABELLE}/doc/ind-defs.pdf">(Co)Inductive Definitions in ZF</a>