author | wenzelm |
Fri, 27 Jan 2006 19:03:08 +0100 | |
changeset 18802 | f449d516f36b |
parent 18214 | 857444b28267 |
child 19331 | f5e84acd7d3f |
permissions | -rw-r--r-- |
16241 | 1 |
In the mid-time: |
16590 | 2 |
- a gentle intro enumeration on Home - "Why Isabelle?" |
3 |
* stably running, mature system |
|
4 |
* (something to say about Isar?) |
|
5 |
* big library |
|
6 |
* big community |
|
7 |
* it's free |
|
8 |
* ... |
|
9 |
(to discuss) |
|
16296 | 10 |
- clarify relationship of "overview" and "logics": |
16575 | 11 |
* overview: Isabelle/HOL |
12 |
* logics: Isabelle system |
|
16590 | 13 |
(to discuss) |