Nominal/ijcar-08.html
changeset 411 a430e494cb19
parent 402 9e089afe5086
child 465 4dac76eb27d9
equal deleted inserted replaced
410:d765ecc5b2df 411:a430e494cb19
    10 
    10 
    11 <body>
    11 <body>
    12 
    12 
    13 <META 
    13 <META 
    14      HTTP-EQUIV="Refresh"
    14      HTTP-EQUIV="Refresh"
    15      CONTENT="2; URL=http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/nominal-ijcar08/">
    15      CONTENT="2; URL=http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/nominal-ijcar08/">
    16 
    16 
    17 </body>
    17 </body>
    18 </html>
    18 </html>