Mercurial Mercurial > hg > isabelle-cookbook / 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.
ROOT
author Christian Urban <urbanc@in.tum.de>
Tue, 11 Jun 2019 23:31:53 +0100
changeset 579 4dc20f6921d0
parent 571 95b42288294e
permissions -rw-r--r--
pdf
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
562
daf404920ab9 Accomodate to Isabelle 2018
Norbert Schirmer <norbert.schirmer@web.de>
parents: 556
diff changeset 
     1
 
session "Cookbook" in "ProgTutorial" = HOL +
daf404920ab9 Accomodate to Isabelle 2018
Norbert Schirmer <norbert.schirmer@web.de>
parents: 556
diff changeset 
     2
 
  options [document = pdf, browser_info = false, document_output = ".."]
567
f7c97e64cc2a tuned ML-antiquotations; added intro portions.
Norbert Schirmer <norbert.schirmer@web.de>
parents: 563
diff changeset 
     3
 
 theories [document = false]
537
308ba2488d40 updated
Christian Urban <urbanc@in.tum.de>
parents: 536
diff changeset 
     4
 
    "Base"
567
f7c97e64cc2a tuned ML-antiquotations; added intro portions.
Norbert Schirmer <norbert.schirmer@web.de>
parents: 563
diff changeset 
     5
 
    "Package/Simple_Inductive_Package"
562
daf404920ab9 Accomodate to Isabelle 2018
Norbert Schirmer <norbert.schirmer@web.de>
parents: 556
diff changeset 
     6
 
  theories [quick_and_dirty, document = true]
537
308ba2488d40 updated
Christian Urban <urbanc@in.tum.de>
parents: 536
diff changeset 
     7
 
    "Intro"
308ba2488d40 updated
Christian Urban <urbanc@in.tum.de>
parents: 536
diff changeset 
     8
 
    "First_Steps"
308ba2488d40 updated
Christian Urban <urbanc@in.tum.de>
parents: 536
diff changeset 
     9
 
    "Essential"
308ba2488d40 updated
Christian Urban <urbanc@in.tum.de>
parents: 536
diff changeset 
    10
 
    "Advanced"
308ba2488d40 updated
Christian Urban <urbanc@in.tum.de>
parents: 536
diff changeset 
    11
 
    "Tactical"
563
50d3059de9c6 accomodate Parsing section to Isabelle 2018
Norbert Schirmer <norbert.schirmer@web.de>
parents: 562
diff changeset 
    12
 
    "Parsing"
537
308ba2488d40 updated
Christian Urban <urbanc@in.tum.de>
parents: 536
diff changeset 
    13
 
    "Package/Ind_Intro"
308ba2488d40 updated
Christian Urban <urbanc@in.tum.de>
parents: 536
diff changeset 
    14
 
    "Package/Ind_Prelims"
308ba2488d40 updated
Christian Urban <urbanc@in.tum.de>
parents: 536
diff changeset 
    15
 
    "Package/Ind_Interface"
308ba2488d40 updated
Christian Urban <urbanc@in.tum.de>
parents: 536
diff changeset 
    16
 
    "Package/Ind_General_Scheme"
562
daf404920ab9 Accomodate to Isabelle 2018
Norbert Schirmer <norbert.schirmer@web.de>
parents: 556
diff changeset 
    17
 
    "Package/Ind_Code"
537
308ba2488d40 updated
Christian Urban <urbanc@in.tum.de>
parents: 536
diff changeset 
    18
 
    "Package/Ind_Extensions"
308ba2488d40 updated
Christian Urban <urbanc@in.tum.de>
parents: 536
diff changeset 
    19
 
    "Appendix"
308ba2488d40 updated
Christian Urban <urbanc@in.tum.de>
parents: 536
diff changeset 
    20
 
    "Recipes/Antiquotes"
308ba2488d40 updated
Christian Urban <urbanc@in.tum.de>
parents: 536
diff changeset 
    21
 
    "Recipes/TimeLimit"
308ba2488d40 updated
Christian Urban <urbanc@in.tum.de>
parents: 536
diff changeset 
    22
 
    "Recipes/Timing"
308ba2488d40 updated
Christian Urban <urbanc@in.tum.de>
parents: 536
diff changeset 
    23
 
    "Recipes/ExternalSolver"
308ba2488d40 updated
Christian Urban <urbanc@in.tum.de>
parents: 536
diff changeset 
    24
 
    "Recipes/Oracle"
308ba2488d40 updated
Christian Urban <urbanc@in.tum.de>
parents: 536
diff changeset 
    25
 
    "Recipes/Sat"
308ba2488d40 updated
Christian Urban <urbanc@in.tum.de>
parents: 536
diff changeset 
    26
 
    "Recipes/USTypes"
308ba2488d40 updated
Christian Urban <urbanc@in.tum.de>
parents: 536
diff changeset 
    27
 
    "Solutions"
571
95b42288294e reactivated Readme.thy for authors
Norbert Schirmer <norbert.schirmer@web.de>
parents: 567
diff changeset 
    28
 
    "Readme"
562
daf404920ab9 Accomodate to Isabelle 2018
Norbert Schirmer <norbert.schirmer@web.de>
parents: 556
diff changeset 
    29
 
  document_files
daf404920ab9 Accomodate to Isabelle 2018
Norbert Schirmer <norbert.schirmer@web.de>
parents: 556
diff changeset 
    30
 
    "root.bib"
daf404920ab9 Accomodate to Isabelle 2018
Norbert Schirmer <norbert.schirmer@web.de>
parents: 556
diff changeset 
    31
 
    "root.tex"
daf404920ab9 Accomodate to Isabelle 2018
Norbert Schirmer <norbert.schirmer@web.de>
parents: 556
diff changeset 
    32
 
    "tutorial-logo.jpg"
536
31d06b5cada4 added build for document
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    33
 







537






308ba2488d40
updated



Christian Urban <urbanc@in.tum.de>


parents: 
536

diff
changeset




    34
















isabelle-cookbook