Fri, 19 Nov 2010 10:04:08 +0100 | haftmann | merged | changeset | files |
Thu, 18 Nov 2010 18:53:36 +0100 | haftmann | proper qualification needed due to shadowing on theory merge | changeset | files |
Thu, 18 Nov 2010 17:06:02 +0100 | haftmann | more appropriate name for property | changeset | files |
Thu, 18 Nov 2010 17:01:16 +0100 | haftmann | mapper for sum type | changeset | files |
Thu, 18 Nov 2010 17:01:16 +0100 | haftmann | mapper for option type | changeset | files |
Thu, 18 Nov 2010 17:01:16 +0100 | haftmann | mapper for list type; map_pair replaces prod_fun | changeset | files |