equal
deleted
inserted
replaced
72 Information about SML</a> |
72 Information about SML</a> |
73 <dd> <a href="http://pizzacompiler.sourceforge.net"> |
73 <dd> <a href="http://pizzacompiler.sourceforge.net"> |
74 Pizza</a> |
74 Pizza</a> |
75 <dd> <a href="http://www.dcs.ed.ac.uk/home/mlj"> |
75 <dd> <a href="http://www.dcs.ed.ac.uk/home/mlj"> |
76 MLJ </a> (ML-to-Java-Byte-Code compiler) |
76 MLJ </a> (ML-to-Java-Byte-Code compiler) |
77 <dd> <a href="http://www.cse.psu.edu/~dale/forum/index.html"> |
|
78 Forum</a> |
|
79 <dd> <a href ="http://www.lix.polytechnique.fr/~dale/lProlog/"> |
77 <dd> <a href ="http://www.lix.polytechnique.fr/~dale/lProlog/"> |
80 Lambda Prolog</a> |
78 Lambda Prolog</a> |
81 <dd> <a href="http://www.cs.cmu.edu/afs/cs/user/fp/www/lfs.html"> |
79 <dd> <a href="http://www.cs.cmu.edu/afs/cs/user/fp/www/lfs.html"> |
82 Logical Frameworks</a> |
80 Logical Frameworks</a> |
83 </dl> |
81 </dl> |
99 HOL4</a> |
97 HOL4</a> |
100 <dd> <a href="http://hol.sourceforge.net/hol-mode.html"> |
98 <dd> <a href="http://hol.sourceforge.net/hol-mode.html"> |
101 HOL4-Emacs mode</a> |
99 HOL4-Emacs mode</a> |
102 <dd> <a href="http://coq.inria.fr/cocorico"> |
100 <dd> <a href="http://coq.inria.fr/cocorico"> |
103 Coq-Wiki</a> |
101 Coq-Wiki</a> |
104 <dd> <a href="http://fp.logosphere.cs.cmu.edu/twelf/"> |
102 <dd> <a href="http://twelf.org/wiki/Main_Page"> |
105 Twelf-Wiki</a> |
103 Twelf-Wiki</a> |
106 </dl> |
104 </dl> |
107 </TD> |
105 </TD> |
108 </TR> |
106 </TR> |
109 |
107 |