equal
deleted
inserted
replaced
9 |
9 |
10 Isabelle is a popular generic theorem proving environment developed at |
10 Isabelle is a popular generic theorem proving environment developed at |
11 Cambridge University (<a |
11 Cambridge University (<a |
12 href="http://www.cl.cam.ac.uk/users/lcp/">Larry Paulson</a>) and TU |
12 href="http://www.cl.cam.ac.uk/users/lcp/">Larry Paulson</a>) and TU |
13 Munich (<a href="http://www.in.tum.de/~nipkow/">Tobias Nipkow</a>). |
13 Munich (<a href="http://www.in.tum.de/~nipkow/">Tobias Nipkow</a>). |
|
14 See the <a href="overview.html">Isabelle overview</a>. |
14 |
15 |
15 <p> |
16 <p> |
16 |
17 |
17 These pages provide general information on Isabelle, more specific |
18 These pages provide general information on Isabelle, more specific |
18 information is available from the local pages |
19 information is available from the local pages |