| changeset 62312 | 5e5a881ebc12 |
| parent 62284 | 1fd4831e9f93 |
| child 62327 | 112eefe85ff0 |
| 62311:73bebf642d3b | 62312:5e5a881ebc12 |
|---|---|
5 |
5 |
6 |
6 |
7 New in this Isabelle version |
7 New in this Isabelle version |
8 ---------------------------- |
8 ---------------------------- |
9 |
9 |
10 *** Isar *** |
|
11 |
|
12 * Command '\<proof>' is an alias for 'sorry', with different |
|
13 typesetting. E.g. to produce proof holes in examples and documentation. |
|
10 |
14 |
11 |
15 |
12 New in Isabelle2016 (February 2016) |
16 New in Isabelle2016 (February 2016) |
13 ----------------------------------- |
17 ----------------------------------- |
14 |
18 |