| Wed, 18 Jul 2012 08:44:03 +0200 |
blanchet |
renamed Sledgehammer options
|
changeset |
files
|
| Wed, 18 Jul 2012 08:44:03 +0200 |
blanchet |
more code rationalization in relevance filter
|
changeset |
files
|
| Wed, 18 Jul 2012 08:44:03 +0200 |
blanchet |
moved override out of iter filter
|
changeset |
files
|
| Wed, 18 Jul 2012 08:44:03 +0200 |
blanchet |
fixed bug introduced when moving code around
|
changeset |
files
|
| Wed, 18 Jul 2012 08:44:03 +0200 |
blanchet |
systematize lazy names in relevance filter
|
changeset |
files
|
| Wed, 18 Jul 2012 08:44:03 +0200 |
blanchet |
rationalize relevance filter, slowing moving code from Iter to MaSh
|
changeset |
files
|
| Wed, 18 Jul 2012 08:44:03 +0200 |
blanchet |
killed one file
|
changeset |
files
|
| Wed, 18 Jul 2012 08:44:03 +0200 |
blanchet |
dependency tuning
|
changeset |
files
|
| Wed, 18 Jul 2012 08:44:03 +0200 |
blanchet |
renaming
|
changeset |
files
|
| Wed, 18 Jul 2012 08:44:03 +0200 |
blanchet |
clean up dependencies
|
changeset |
files
|
| Tue, 17 Jul 2012 23:11:27 +0200 |
haftmann |
explicitly import Dlist theory into library
|
changeset |
files
|
| Tue, 17 Jul 2012 23:11:24 +0200 |
haftmann |
tuned whitespace
|
changeset |
files
|
| Tue, 17 Jul 2012 23:07:51 +0200 |
haftmann |
dropped ancient example generates
|
changeset |
files
|
| Tue, 17 Jul 2012 22:34:29 +0200 |
wenzelm |
basic support for session ROOT files, with examples for FOL and ZF;
|
changeset |
files
|
| Tue, 17 Jul 2012 21:49:32 +0200 |
wenzelm |
more accurate imitation of formal text;
|
changeset |
files
|
| Tue, 17 Jul 2012 16:56:29 +0200 |
wenzelm |
avoid Source.fromFile, which does not necessarily close its input;
|
changeset |
files
|
| Tue, 17 Jul 2012 16:54:23 +0200 |
wenzelm |
tuned imports;
|
changeset |
files
|
| Tue, 17 Jul 2012 15:56:19 +0200 |
wenzelm |
basic setup for Isabelle build tool;
|
changeset |
files
|
| Tue, 17 Jul 2012 14:33:23 +0200 |
wenzelm |
more standard main method;
|
changeset |
files
|
| Tue, 17 Jul 2012 13:07:28 +0200 |
wenzelm |
avoid slightly odd share_common_data -- Poly/ML 5.5.x should manage low-memory situations (cf. f55e77f623ab);
|
changeset |
files
|
| Tue, 17 Jul 2012 10:39:39 +0200 |
bulwahn |
improved equality optimisation in Quickcheck
|
changeset |
files
|
| Mon, 16 Jul 2012 21:20:56 +0200 |
wenzelm |
more direct Sorts.has_instance;
|
changeset |
files
|
| Mon, 16 Jul 2012 15:57:21 +0200 |
wenzelm |
replaced quicksort by mergesort, which might be a bit more efficient for key operations like Ord_List.make, Sorts.minimize_sort;
|
changeset |
files
|
| Mon, 16 Jul 2012 15:55:21 +0200 |
wenzelm |
comment;
|
changeset |
files
|