Thu, 31 Oct 2013 11:44:20 +0100 | haftmann | generalized of_bool conversion | changeset | files |
Thu, 31 Oct 2013 11:44:20 +0100 | haftmann | separated bit operations on type bit from generic syntactic bit operations | changeset | files |
Thu, 31 Oct 2013 11:44:20 +0100 | haftmann | restructed | changeset | files |