| Wed, 21 Jul 2010 18:11:51 +0200 |
bulwahn |
adding Library theory for other quickcheck default types
|
changeset |
files
|
| Wed, 21 Jul 2010 18:11:51 +0200 |
bulwahn |
removing obsolete ID in Quickcheck_Examples
|
changeset |
files
|
| Wed, 21 Jul 2010 18:11:51 +0200 |
bulwahn |
correcting wellsortedness check and improving error message
|
changeset |
files
|
| Wed, 21 Jul 2010 18:11:51 +0200 |
bulwahn |
using multiple default types in quickcheck
|
changeset |
files
|
| Wed, 21 Jul 2010 18:11:51 +0200 |
bulwahn |
correcting merging of default_types
|
changeset |
files
|
| Wed, 21 Jul 2010 18:11:51 +0200 |
bulwahn |
reordering quickcheck signature; exporting test_params and inspection function
|
changeset |
files
|
| Wed, 21 Jul 2010 18:11:51 +0200 |
bulwahn |
changed default types to a list of types; extended quickcheck parameters to be a list of values to parse a list of default types
|
changeset |
files
|
| Wed, 21 Jul 2010 18:11:51 +0200 |
bulwahn |
putting proof in the right context; adding if rewriting; tuned
|
changeset |
files
|
| Thu, 22 Jul 2010 16:43:21 +0200 |
wenzelm |
load_thy: parallel parsing of units, which consist of statement/proof each;
|
changeset |
files
|
| Thu, 22 Jul 2010 14:59:27 +0200 |
wenzelm |
eliminated some unreferenced identifiers;
|
changeset |
files
|
| Thu, 22 Jul 2010 14:01:43 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 22 Jul 2010 10:41:12 +0200 |
wenzelm |
tuned comments;
|
changeset |
files
|
| Wed, 21 Jul 2010 21:08:40 +0200 |
wenzelm |
replaced Source.of_list_limited by slightly more economic Source.of_string_limited;
|
changeset |
files
|
| Wed, 21 Jul 2010 20:32:08 +0200 |
wenzelm |
deps_thy/load_thy: store compact text to reduce space by factor 12;
|
changeset |
files
|
| Wed, 21 Jul 2010 17:57:16 +0200 |
wenzelm |
make SML/NJ happy, by adhoc type-constraints;
|
changeset |
files
|
| Wed, 21 Jul 2010 17:55:07 +0200 |
wenzelm |
recovered benchmarks, which are not tested automatically;
|
changeset |
files
|
| Wed, 21 Jul 2010 17:46:36 +0200 |
wenzelm |
made SML/NJ happy;
|
changeset |
files
|
| Wed, 21 Jul 2010 16:50:42 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Wed, 21 Jul 2010 09:46:36 +0200 |
haftmann |
abstract visualization of locale ingredients; all_locales yields proper locale identifiers
|
changeset |
files
|
| Tue, 20 Jul 2010 14:08:47 +0200 |
haftmann |
tuned
|
changeset |
files
|
| Tue, 20 Jul 2010 14:01:06 +0200 |
haftmann |
accomodate for scope of "as" binding in ML
|
changeset |
files
|
| Tue, 20 Jul 2010 10:24:18 +0200 |
haftmann |
tuned code
|
changeset |
files
|
| Tue, 20 Jul 2010 08:54:21 +0200 |
haftmann |
datatype classes are abstract
|
changeset |
files
|
| Tue, 20 Jul 2010 08:54:21 +0200 |
haftmann |
avoid deprecation
|
changeset |
files
|
| Tue, 20 Jul 2010 06:35:29 +0200 |
haftmann |
robustified metis proof
|
changeset |
files
|
| Mon, 19 Jul 2010 20:23:52 +0200 |
haftmann |
modernized abel_cancel simproc setup
|
changeset |
files
|
| Mon, 19 Jul 2010 20:23:49 +0200 |
haftmann |
keep explicit diff_def as legacy theorem; modernized abel_cancel simproc setup
|
changeset |
files
|
| Mon, 19 Jul 2010 20:19:03 +0200 |
haftmann |
diff_eq_diff_less_eq' replaces diff_eq_diff_less_eq
|
changeset |
files
|
| Mon, 19 Jul 2010 16:09:44 +0200 |
haftmann |
diff_minus subsumes diff_def
|
changeset |
files
|
| Mon, 19 Jul 2010 16:09:44 +0200 |
haftmann |
tuned whitespace
|
changeset |
files
|