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.
Paper/ROOT.ML
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Wed, 23 Jan 2013 15:06:32 +0100
changeset 65 0349fa7f5595
parent 63 35fe8fe12e65
child 111 dfc629cd11de
permissions -rw-r--r--
also polished uh_h proof
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2
26b17f2d583e updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
     1
 
no_document
63
35fe8fe12e65 small updates
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 61
diff changeset 
     2
 
use_thys ["../thys/turing_basic",
55
cd4ef33c8fb1 added turing_hoare
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 48
diff changeset 
     3
 
          "../thys/turing_hoare",
63
35fe8fe12e65 small updates
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 61
diff changeset 
     4
 
          "../thys/uncomputable"(*,
61
7edbd5657702 updated files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 55
diff changeset 
     5
 
          "../thys/abacus",
7edbd5657702 updated files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 55
diff changeset 
     6
 
          "../thys/rec_def",
7edbd5657702 updated files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 55
diff changeset 
     7
 
          "../thys/recursive"*)];
2
26b17f2d583e updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
     8
 












26b17f2d583e
updated



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


parents: 

diff
changeset




     9


use_thys ["Paper"]















tm