equal
deleted
inserted
replaced
2 ============================================== |
2 ============================================== |
3 |
3 |
4 New in this Isabelle version |
4 New in this Isabelle version |
5 ---------------------------- |
5 ---------------------------- |
6 |
6 |
|
7 *** Document preparation *** |
|
8 |
|
9 * New term style "isub" as ad-hoc conversion of variables x1, y23 into |
|
10 subscripted form x\<^isub>1, y\<^isub>2\<^isub>3. |
7 |
11 |
8 |
12 |
9 New in Isabelle2011 (January 2011) |
13 New in Isabelle2011 (January 2011) |
10 ---------------------------------- |
14 ---------------------------------- |
11 |
15 |