Diff of /web/index.shtml [4b7998] .. [f01853]  Maximize  Restore

Switch to side-by-side view

--- a/web/index.shtml
+++ b/web/index.shtml
@@ -50,6 +50,14 @@
 	</tr>
 
 <tr><td class="entry">
+2011-11-19:
+<a href="entries/TLA.shtml">A Definitional Encoding of TLA in Isabelle/HOL</a>
+<br>Author:
+<a href="http://homepages.inf.ed.ac.uk/ggrov">Gudmund Grov</a> and 
+<a href="http://www.loria.fr/~merz">Stephan Merz</a>
+</td></tr>
+
+<tr><td class="entry">
 2011-09-22:
 <a href="entries/PseudoHoops.shtml">Pseudo Hoops</a>
 <br>Author:

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.





No, thanks