equal
deleted
inserted
replaced
8 ---------------------------- |
8 ---------------------------- |
9 |
9 |
10 *** General *** |
10 *** General *** |
11 |
11 |
12 * New symbol \<circle>, e.g. for temporal operator. |
12 * New symbol \<circle>, e.g. for temporal operator. |
|
13 |
|
14 * Old 'header' command is no longer supported (legacy since |
|
15 Isabelle2015). |
13 |
16 |
14 |
17 |
15 *** Isar *** |
18 *** Isar *** |
16 |
19 |
17 * Command '\<proof>' is an alias for 'sorry', with different |
20 * Command '\<proof>' is an alias for 'sorry', with different |