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>
Thu, 21 Feb 2013 05:34:39 +0000
changeset 190 f1ecb4a68a54
parent 187 326310016da9
child 198 d93cc4295306
permissions -rw-r--r--
renamed sete definition to adjust and old special case of adjust to adjust0
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"
7386b3758360 added newer ROOT file
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
     9
 
    "thys/Rec_Def"
7386b3758360 added newer ROOT file
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
    10
 
    "thys/Recursive"
7386b3758360 added newer ROOT file
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
    11
 
    "thys/UF"
7386b3758360 added newer ROOT file
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
    12
 
    "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 
    13
 












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


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




    15


  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




    16


  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




    17


    "Paper/Paper"














tm