ROOT
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Thu, 03 Oct 2013 15:29:03 +0100
changeset 391 5c283ecefda6
parent 379 8c4b6fb43ebe
permissions -rw-r--r--
added slides
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
379
8c4b6fb43ebe polished more and updated to new isabelle
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     1
session Myhill in "Journal" = HOL +
8c4b6fb43ebe polished more and updated to new isabelle
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     2
  options [document = false]
8c4b6fb43ebe polished more and updated to new isabelle
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     3
  theories 
8c4b6fb43ebe polished more and updated to new isabelle
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     4
    "../Folds"
8c4b6fb43ebe polished more and updated to new isabelle
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     5
    "../Regular_Set"
8c4b6fb43ebe polished more and updated to new isabelle
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     6
    "../Regular_Exp"
8c4b6fb43ebe polished more and updated to new isabelle
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     7
    "../Derivatives"
8c4b6fb43ebe polished more and updated to new isabelle
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     8
    "../Myhill_1"
8c4b6fb43ebe polished more and updated to new isabelle
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     9
    "../Myhill_2"
8c4b6fb43ebe polished more and updated to new isabelle
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    10
    "../Myhill"
8c4b6fb43ebe polished more and updated to new isabelle
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    11
    "../Closures"
8c4b6fb43ebe polished more and updated to new isabelle
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    12
    "../Closures2"
8c4b6fb43ebe polished more and updated to new isabelle
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    13
    "../Attic/Prefix_subtract"
8c4b6fb43ebe polished more and updated to new isabelle
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    14
8c4b6fb43ebe polished more and updated to new isabelle
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    15
8c4b6fb43ebe polished more and updated to new isabelle
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    16
session Journal in "Journal" = Myhill +
8c4b6fb43ebe polished more and updated to new isabelle
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    17
  options [document = pdf, document_output = "..", document_variants = "journal"]
8c4b6fb43ebe polished more and updated to new isabelle
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    18
  theories
8c4b6fb43ebe polished more and updated to new isabelle
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    19
    "Paper"
8c4b6fb43ebe polished more and updated to new isabelle
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    20
391
5c283ecefda6 added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 379
diff changeset
    21
session Slides6 in "Slides" = Myhill +
5c283ecefda6 added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 379
diff changeset
    22
  options [document = pdf, document_output= "..", document_variants = "slides6"]
5c283ecefda6 added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 379
diff changeset
    23
  theories
5c283ecefda6 added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 379
diff changeset
    24
    "Slides6"