author | Christian Urban <christian.urban@kcl.ac.uk> |
Sat, 08 Jul 2023 21:24:18 +0100 | |
changeset 634 | f365ce636294 |
parent 465 | 4dac76eb27d9 |
permissions | -rw-r--r-- |
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Frameset//EN" "http://www.w3.org/TR/html4/frameset.dtd"> <html> <head> <meta content="text/html; charset=ISO-8859-1" http-equiv="content-type"> <title>Nominal Methods Group</title> <link rel="stylesheet" href="nominal.css"> </head> <body> <META HTTP-EQUIV="Refresh" CONTENT="2; URL=http://nms.kcl.ac.uk/christian.urban/Nominal/activities/nominal-ijcar08/"> </body> </html>