equal
deleted
inserted
replaced
9 <body> |
9 <body> |
10 |
10 |
11 <h3><IMG SRC="new.gif" ALT="" style="" align="left">Nominal2 and Isabelle 2016</h3> |
11 <h3><IMG SRC="new.gif" ALT="" style="" align="left">Nominal2 and Isabelle 2016</h3> |
12 |
12 |
13 At the moment, Nominal2 is still <B>alpha-ware</B> and not part of the standard |
13 At the moment, Nominal2 is still <B>alpha-ware</B> and not part of the standard |
14 Isabelle distribution. But assuming you have a working Isabelle 2016 distribution, |
14 Isabelle distribution. But assuming you have a working Isabelle 2016-1 distribution, |
15 it can be easily installed. The necessary theory files for Nominal2 can be downloaded |
15 it can be easily installed. The necessary theory files for Nominal2 can be downloaded |
16 from: |
16 from: |
17 |
17 |
18 <ul> |
18 <ul> |
19 <li> |
19 <li> |
20 <A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/Nominal2-2016.tgz">Nominal2-2016.tgz</A> (19 March 2016) |
20 <A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/Nominal2-2016-1.tgz">Nominal2-2016-1.tgz</A> (19 April 2018) |
21 </li> |
21 </li> |
22 </ul> |
22 </ul> |
23 |
23 |
24 Unpack the tgz-file. This will create a directory Nominal and also |
24 Unpack the tgz-file. This will create a directory Nominal and also |
25 Nominal/Ex. If you change into the latter directory and load, for example, |
25 Nominal/Ex. If you change into the latter directory and load, for example, |
45 <A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/Nominal2-2012.tgz">Nominal2-2012.tgz</A> (15 May 2012)<BR> |
45 <A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/Nominal2-2012.tgz">Nominal2-2012.tgz</A> (15 May 2012)<BR> |
46 <A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/Nominal2-2013.tgz">Nominal2-2013.tgz</A> (19 February 2013)<BR> |
46 <A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/Nominal2-2013.tgz">Nominal2-2013.tgz</A> (19 February 2013)<BR> |
47 <A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/Nominal2-2013-1.tgz">Nominal2-2013-1.tgz</A> (18 October 2013)<BR> |
47 <A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/Nominal2-2013-1.tgz">Nominal2-2013-1.tgz</A> (18 October 2013)<BR> |
48 <A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/Nominal2-2013-2.tgz">Nominal2-2013-2.tgz</A> (15 December 2013)<BR> |
48 <A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/Nominal2-2013-2.tgz">Nominal2-2013-2.tgz</A> (15 December 2013)<BR> |
49 <A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/Nominal2-2014.tgz">Nominal2-2014.tgz</A> (9 September 2014)<BR> |
49 <A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/Nominal2-2014.tgz">Nominal2-2014.tgz</A> (9 September 2014)<BR> |
50 <A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/Nominal2-2015.tgz">Nominal2-2015.tgz</A> (9 July 2015)<BR> |
50 <A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/Nominal2-2015.tgz">Nominal2-2015.tgz</A> (9 July 2015)<BR> |
|
51 <A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/Nominal2-2016.tgz">Nominal2-2016.tgz</A> (19 March 2016)<BR> |
51 </body> |
52 </body> |
52 </html> |
53 </html> |
53 |
54 |
54 |
55 |
55 |
56 |