equal
deleted
inserted
replaced
16 without exception positions and advanced ML compiler/toplevel |
16 without exception positions and advanced ML compiler/toplevel |
17 configuration. |
17 configuration. |
18 |
18 |
19 |
19 |
20 *** HOL *** |
20 *** HOL *** |
|
21 |
|
22 * Simproc for rewriting set comprehensions into pointfree expressions |
21 |
23 |
22 * Quickcheck: |
24 * Quickcheck: |
23 |
25 |
24 - added an optimisation for equality premises. |
26 - added an optimisation for equality premises. |
25 It is switched on by default, and can be switched off by setting |
27 It is switched on by default, and can be switched off by setting |