Tue, 21 Jan 2014 01:14:49 +0100 | blanchet | compile | changeset | files |
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 |