equal
deleted
inserted
replaced
135 </p> |
135 </p> |
136 |
136 |
137 <p> |
137 <p> |
138 <IMG SRC="pics/new.gif" ALT="" style="" align="left">There will be an Isabelle tutorial before the |
138 <IMG SRC="pics/new.gif" ALT="" style="" align="left">There will be an Isabelle tutorial before the |
139 conference (21 - 23 August), and<BR><BR> |
139 conference (21 - 23 August), and<BR><BR> |
140 <IMG SRC="pics/new.gif" ALT="" style="" align="left">there will be a Coq tutorial after the conference |
140 <IMG SRC="pics/new.gif" ALT="" style="" align="left">a Coq tutorial after the conference |
141 (27 - 29 August).<BR><BR> |
141 (27 - 29 August).<BR><BR> |
142 </p> |
142 </p> |
143 |
143 |
144 <H4><A NAME="dates"></A>Important Dates</H4> |
144 <H4><A NAME="dates"></A>Important Dates</H4> |
145 |
145 |