equal
deleted
inserted
replaced
16 schematic_theorem ~> schematic_goal |
16 schematic_theorem ~> schematic_goal |
17 schematic_corollary ~> schematic_goal |
17 schematic_corollary ~> schematic_goal |
18 |
18 |
19 Command-line tool "isabelle update_theorems" updates theory sources |
19 Command-line tool "isabelle update_theorems" updates theory sources |
20 accordingly. |
20 accordingly. |
|
21 |
|
22 * Toplevel theorem statement 'proposition' is another alias for |
|
23 'theorem'. |
21 |
24 |
22 |
25 |
23 *** Prover IDE -- Isabelle/Scala/jEdit *** |
26 *** Prover IDE -- Isabelle/Scala/jEdit *** |
24 |
27 |
25 * Improved scheduling for urgent print tasks (e.g. command state output, |
28 * Improved scheduling for urgent print tasks (e.g. command state output, |