| 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 |
| Wed, 11 Jan 2012 21:04:22 +0100 | wenzelm | more conventional eval_tac vs. method_setup "eval"; | changeset | files |
| Wed, 11 Jan 2012 18:02:59 +0100 | wenzelm | updated generated file -- change of printed case syntax probably due to f805747f8571; | changeset | files |
| Wed, 11 Jan 2012 17:30:34 +0100 | wenzelm | actually try to preserve names given by user (cf. 463b594e186a); | changeset | files |
| Wed, 11 Jan 2012 16:47:30 +0100 | wenzelm | updated example -- List.foldl is no longer defined via primrec; | changeset | files |