equal
deleted
inserted
replaced
16 |
16 |
17 Product_Lattice ~> Product_Order -- pointwise order on products |
17 Product_Lattice ~> Product_Order -- pointwise order on products |
18 Product_ord ~> Product_Lexorder -- lexicographic order on products |
18 Product_ord ~> Product_Lexorder -- lexicographic order on products |
19 |
19 |
20 INCOMPATIBILITY. |
20 INCOMPATIBILITY. |
|
21 |
|
22 * Sledgehammer: |
|
23 |
|
24 - Renamed option: |
|
25 isar_shrink ~> isar_compress |
21 |
26 |
22 |
27 |
23 New in Isabelle2013 (February 2013) |
28 New in Isabelle2013 (February 2013) |
24 ----------------------------------- |
29 ----------------------------------- |
25 |
30 |