Tue, 09 Nov 2010 16:18:40 +0100 | haftmann | merged | changeset | files |
Tue, 09 Nov 2010 14:02:14 +0100 | haftmann | slightly changed fun_map_def | changeset | files |
Tue, 09 Nov 2010 14:02:14 +0100 | haftmann | fun_rel_def is no simp rule by default | changeset | files |