Thu, 21 Nov 2013 21:33:34 +0100 | blanchet | moved meson up the dependency chain | changeset | files |
Thu, 21 Nov 2013 21:33:34 +0100 | blanchet | moving 'Order_Relation' to 'HOL' (since it's a BNF dependency) | changeset | files |
Thu, 21 Nov 2013 21:33:34 +0100 | blanchet | fixed apparent copy-paste bug | changeset | files |
Thu, 21 Nov 2013 19:13:49 +0100 | wenzelm | merged | changeset | files |