Thu, 12 Jan 2012 10:19:33 +0100 | bulwahn | adding exhaustive instances for type constructor set | changeset | files |
Thu, 12 Jan 2012 00:14:20 +0100 | berghofe | Updated generated file | changeset | files |
Thu, 12 Jan 2012 00:13:37 +0100 | berghofe | Added inf_Int_eq to pred_set_conv database as well | changeset | files |