equal
deleted
inserted
replaced
5 <title>The Nominal Datatype Package</title> |
5 <title>The Nominal Datatype Package</title> |
6 <script type="text/javascript" src="striper.js"></script> |
6 <script type="text/javascript" src="striper.js"></script> |
7 <link rel="stylesheet" href="nominal.css"> |
7 <link rel="stylesheet" href="nominal.css"> |
8 </head> |
8 </head> |
9 <body onload="striper('ul','striped','li','first,second')"> |
9 <body onload="striper('ul','striped','li','first,second')"> |
10 <h1>Our Activities</h1> |
10 <h1>Our Old Activities</h1> |
11 |
11 |
12 |
12 |
13 <h2>2013</h2> |
13 <h2>2013</h2> |
14 <ul class="striped"> |
14 <ul class="striped"> |
15 <li> Larry Paulson visits the SMAL group (16 July, hosts: Prof. Maribel Fernandez and Christian Urban) |
15 <li> Larry Paulson visits the SMAL group (16 July, hosts: Prof. Maribel Fernandez and Christian Urban) |