equal
deleted
inserted
replaced
44 <!-- _GP_ distname -->.tar.gz. |
44 <!-- _GP_ distname -->.tar.gz. |
45 |
45 |
46 <p> |
46 <p> |
47 |
47 |
48 <!-- _GP_ setdowncolor("\"#E0E0E0\"") --> |
48 <!-- _GP_ setdowncolor("\"#E0E0E0\"") --> |
49 <center> |
49 <div style="text-align: center"> |
50 |
50 |
51 <table border="0" cellspacing="5" cellpadding="4" width="520"> |
51 <table border="0" cellspacing="5" cellpadding="4" width="520"> |
52 |
52 |
53 <!-- _GP_ downloadhead("Isabelle") --> |
53 <!-- _GP_ downloadhead("Isabelle") --> |
54 <!-- _GP_ download(1, "Sources and documentation", distname . ".tar.gz", "../..") --> |
54 <!-- _GP_ download(1, "Sources and documentation", distname . ".tar.gz", "../..") --> |
80 |
80 |
81 <!-- _GP_ downloadhead("HOL4 proof terms") --> |
81 <!-- _GP_ downloadhead("HOL4 proof terms") --> |
82 <!-- _GP_ download(1, "HOL4 proof terms", "contrib/HOL4-proofs.tar.gz", "../..") --> |
82 <!-- _GP_ download(1, "HOL4 proof terms", "contrib/HOL4-proofs.tar.gz", "../..") --> |
83 |
83 |
84 </table> |
84 </table> |
85 </center> |
85 </div> |
86 |
86 |
87 <p> |
87 <p> |
88 |
88 |
89 <h2>Installation</h2> |
89 <h2>Installation</h2> |
90 |
90 |