equal
deleted
inserted
replaced
28 |
28 |
29 |
29 |
30 <p> |
30 <p> |
31 You can also be on the bleeding edge by downloading the |
31 You can also be on the bleeding edge by downloading the |
32 sources from this Mercurial |
32 sources from this Mercurial |
33 <A HREF="http://www21.in.tum.de/~urbanc/cgi-bin/repos.cgi/nominal2/">Repository</A>. |
33 <A HREF="http://www.inf.kcl.ac.uk/Staff/urbanc/cgi-bin/repos.cgi/nominal2/">Repository</A>. |
34 |
34 |
35 |
35 |
36 <h3>Nominal1 and Isabelle 2016</h3> |
36 <h3>Nominal1 and Isabelle 2016</h3> |
37 |
37 |
38 Nominal1 is part of the current distribution and can be installed |
38 Nominal1 is part of the current distribution and can be installed |