equal
deleted
inserted
replaced
89 |
89 |
90 *** HOL *** |
90 *** HOL *** |
91 |
91 |
92 * Renamed theory Fset to Cset, type Fset.fset to Cset.set, in order to |
92 * Renamed theory Fset to Cset, type Fset.fset to Cset.set, in order to |
93 avoid confusion with finite sets. INCOMPATIBILITY. |
93 avoid confusion with finite sets. INCOMPATIBILITY. |
|
94 |
|
95 * Quickcheck's generator for random generation is renamed from "code" to |
|
96 "random". INCOMPATIBILITY. |
94 |
97 |
95 * Theory Multiset provides stable quicksort implementation of sort_key. |
98 * Theory Multiset provides stable quicksort implementation of sort_key. |
96 |
99 |
97 * Quickcheck now has a configurable time limit which is set to 30 seconds |
100 * Quickcheck now has a configurable time limit which is set to 30 seconds |
98 by default. This can be changed by adding [timeout = n] to the quickcheck |
101 by default. This can be changed by adding [timeout = n] to the quickcheck |