| changeset 15283 | f21466450330 |
| parent 9015 | 8006e9009621 |
| child 15582 | 7219facb3fd0 |
| 15282:765d5d6e4468 | 15283:f21466450330 |
|---|---|
1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> |
|
2 |
|
1 <!-- $Id$ --> |
3 <!-- $Id$ --> |
2 <HTML><HEAD> |
4 <HTML><HEAD> |
3 <TITLE>HOL/Prolog/README</TITLE> |
5 <TITLE>HOL/Prolog/README</TITLE> |
4 </HEAD><BODY> |
6 </HEAD><BODY> |
5 |
7 |