equal
deleted
inserted
replaced
13 <div class="hr"><hr/></div> |
13 <div class="hr"><hr/></div> |
14 <?include file="//include/navigation.include.html"?> |
14 <?include file="//include/navigation.include.html"?> |
15 <div class="hr"><hr/></div> |
15 <div class="hr"><hr/></div> |
16 <div id="content"> |
16 <div id="content"> |
17 <?include file="//include/mirrorlist.major.include.html"?> |
17 <?include file="//include/mirrorlist.major.include.html"?> |
|
18 <div class="hr"><hr/></div> |
18 <h2>What is Isabelle?</h2> |
19 <h2>What is Isabelle?</h2> |
19 <p> |
20 <p> |
20 Isabelle is a generic proof assistant. It allows mathematical |
21 Isabelle is a generic proof assistant. It allows mathematical |
21 formulas to be expressed in a formal language and provides tools |
22 formulas to be expressed in a formal language and provides tools |
22 for proving those formulas in a logical calculus. The main |
23 for proving those formulas in a logical calculus. The main |