Mercurial Mercurial > hg > tm / 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 <christian dot urban at kcl dot ac dot uk>
Fri, 24 May 2013 15:43:10 +0100
changeset 260 1e45b5b6482a
parent 198 d93cc4295306
child 271 4457185b22ef
permissions -rw-r--r--
added definitions and proofs for right-std and left-std tapes
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
185
2fad78b479a3 added clear-definition to paper
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 184
diff changeset 
     1
 
session UTM = HOL +
184
7386b3758360 added newer ROOT file
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
     2
 
  options [document = false]
7386b3758360 added newer ROOT file
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
     3
 
  theories
7386b3758360 added newer ROOT file
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
     4
 
    "thys/Turing"
7386b3758360 added newer ROOT file
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
     5
 
    "thys/Turing_Hoare"
7386b3758360 added newer ROOT file
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
     6
 
    "thys/Uncomputable"
7386b3758360 added newer ROOT file
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
     7
 
    "thys/Abacus_Mopup"
7386b3758360 added newer ROOT file
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
     8
 
    "thys/Abacus"
198
d93cc4295306 tuned some files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 187
diff changeset 
     9
 
    "thys/Abacus_Defs"
184
7386b3758360 added newer ROOT file
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
    10
 
    "thys/Rec_Def"
7386b3758360 added newer ROOT file
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
    11
 
    "thys/Recursive"
7386b3758360 added newer ROOT file
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
    12
 
    "thys/UF"
7386b3758360 added newer ROOT file
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
    13
 
    "thys/UTM"
186
455411d69c12 added link and comment to fourth edition of Boolos
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 185
diff changeset 
    14
 












455411d69c12
added link and comment to fourth edition of Boolos



Christian Urban <christian dot urban at kcl dot ac dot uk>


parents: 
185

diff
changeset




    15


session ITP = UTM +








187






326310016da9
polished some typos in the paper



Christian Urban <christian dot urban at kcl dot ac dot uk>


parents: 
186

diff
changeset




    16


  options [document = pdf, document_output = "."]








186






455411d69c12
added link and comment to fourth edition of Boolos



Christian Urban <christian dot urban at kcl dot ac dot uk>


parents: 
185

diff
changeset




    17


  theories













455411d69c12
added link and comment to fourth edition of Boolos



Christian Urban <christian dot urban at kcl dot ac dot uk>


parents: 
185

diff
changeset




    18


    "Paper/Paper"














tm