| 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 |