Mercurial Mercurial > hg > public_html / comparison
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.
Nominal/activities/oregon.html
changeset 428 c214a2dce02c
parent 402 9e089afe5086
child 465 4dac76eb27d9
equal deleted inserted replaced
427:ca3a6f5c88ab 428:c214a2dce02c 
     7 </head>
 
     7 </head>
 
     8 
     8 
     9 <body>
 
     9 <body>
 
    10 <h3>Slides</h3>
 
    10 <h3>Slides</h3>
 
    11 
    11 
    12 <A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Slides/oregon1.pdf">Slides 1</A><BR>
 
    12 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/oregon1.pdf">Slides 1</A><BR>
 
    13 <A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Slides/oregon2.pdf">Slides 2</A><BR>
 
    13 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/oregon2.pdf">Slides 2</A><BR>
 
    14 <A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Slides/oregon3.pdf">Slides 3</A><BR>
 
    14 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/oregon3.pdf">Slides 3</A><BR>
 
    15 
    15 
    16 <h3>Example Theories from the Lectures</h3>
 
    16 <h3>Example Theories from the Lectures</h3>
 
    17 
    17 
    18 <a href="Minimal.thy">Minimal.thy</a><BR>
 
    18 <a href="Minimal.thy">Minimal.thy</a><BR>
 
    19 <a href="oregon1.thy">Lec1.thy</a><BR>
 
    19 <a href="oregon1.thy">Lec1.thy</a><BR>
public_html