equal
deleted
inserted
replaced
11 |
11 |
12 Download the Nominal Isabelle snapshot provided below and |
12 Download the Nominal Isabelle snapshot provided below and |
13 follow the instructions in INSTALL. |
13 follow the instructions in INSTALL. |
14 <br><br> |
14 <br><br> |
15 |
15 |
16 <A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/Isabelle_07-Jan-2008.tar.gz">Isabelle Snapshot from 7. January 2008 (includes version 0.14 of the nominal datatype package)</A> |
16 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/Isabelle_07-Jan-2008.tar.gz">Isabelle Snapshot from 7. January 2008 (includes version 0.14 of the nominal datatype package)</A> |
17 <br><br> |
17 <br><br> |
18 |
18 |
19 |
19 |
20 |
20 |
21 <A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/manual/INSTALL">INSTALL</A> |
21 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/manual/INSTALL">INSTALL</A> |
22 <br><br> |
22 <br><br> |
23 |
23 |
24 <img src="graphics/attention.png" alt="The Nominal Datatype" align="left"> |
24 <img src="graphics/attention.png" alt="The Nominal Datatype" align="left"> |
25 Beginning from version 0.13, the nominal package can be started by using |
25 Beginning from version 0.13, the nominal package can be started by using |
26 just the command "Isabelle" and enabling the option "HOL-Nominal" in the |
26 just the command "Isabelle" and enabling the option "HOL-Nominal" in the |