equal
deleted
inserted
replaced
47 |
47 |
48 <P> |
48 <P> |
49 <IMG SRC="new.gif" ALT="" style="" align="left"> |
49 <IMG SRC="new.gif" ALT="" style="" align="left"> |
50 <I>We are working on a major overhaul of Nominal Isabelle. The |
50 <I>We are working on a major overhaul of Nominal Isabelle. The |
51 latest bundles of Nominal2 are |
51 latest bundles of Nominal2 are |
52 <A HREF="http://inf.kcl.ac.uk/staff/urbanc/Nominal/download.html">here</A>. |
52 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/download.html">here</A>. |
53 </I></P> |
53 </I></P> |
54 |
54 |
55 |
55 |
56 <P> |
56 <P> |
57 To root out bugs, every programming language should be designed with the help |
57 To root out bugs, every programming language should be designed with the help |