equal
deleted
inserted
replaced
12 *** Document preparation *** |
12 *** Document preparation *** |
13 |
13 |
14 * improved isabelle style files; more abstract symbol implementation |
14 * improved isabelle style files; more abstract symbol implementation |
15 (should now use \isamath{...} and \isatext{...} in custom symbol |
15 (should now use \isamath{...} and \isatext{...} in custom symbol |
16 definitions); |
16 definitions); |
|
17 |
|
18 |
|
19 *** Isar *** |
|
20 |
|
21 * HOL: default proof step now includes 'intro_classes'; |
17 |
22 |
18 |
23 |
19 *** HOL *** |
24 *** HOL *** |
20 |
25 |
21 * HOL/Library: a collection of generic theories to be used together |
26 * HOL/Library: a collection of generic theories to be used together |