| Mon, 20 Jan 2014 23:43:42 +0100 | blanchet | technical import to avoid infamous 'duplicate Option.size' error at merge time in 'List.thy' | changeset | files |
| Mon, 20 Jan 2014 23:34:26 +0100 | blanchet | swapped dependencies of 'Finite_Set' and 'Option' (to move BNF up) | changeset | files |
| Mon, 20 Jan 2014 23:07:23 +0100 | blanchet | moved 'bacc' back to 'Enum' (cf. 744934b818c7) -- reduces baggage loaded by 'Hilbert_Choice' | changeset | files |