doc/Contents
author wenzelm
Sat Sep 21 13:05:54 2013 +0200 (2013-09-21)
changeset 53769 036e80175bdd
parent 52792 3e651be14fcd
child 56423 c2f52824dbb2
permissions -rw-r--r--
basic setup for Isabelle/jEdit documentation;
     1 Tutorials
     2   prog-prove      Programming and Proving in Isabelle/HOL
     3   tutorial        Tutorial on Isabelle/HOL
     4   locales         Tutorial on Locales
     5   classes         Tutorial on Type Classes
     6   datatypes       Tutorial on (Co)datatype Definitions
     7   functions       Tutorial on Function Definitions
     8   codegen         Tutorial on Code Generation
     9   nitpick         User's Guide to Nitpick
    10   sledgehammer    User's Guide to Sledgehammer
    11   sugar           LaTeX Sugar for Isabelle documents
    12 
    13 Reference Manuals
    14   main            What's in Main
    15   isar-ref        The Isabelle/Isar Reference Manual
    16   implementation  The Isabelle/Isar Implementation Manual
    17   system          The Isabelle System Manual
    18   jedit           Isabelle/jEdit
    19 
    20 Old Manuals (outdated)
    21   intro           Old Introduction to Isabelle
    22   logics          Isabelle's Logics: HOL and misc logics
    23   logics-ZF       Isabelle's Logics: FOL and ZF
    24