| Sat, 19 Sep 2009 07:35:27 +0200 | haftmann | merged | changeset | files |
| Fri, 18 Sep 2009 16:00:56 +0200 | haftmann | rewrite premises in tactical proof also with inf_fun_eq and inf_bool_eq: attempt to allow user to use inf [=>] and inf [bool] in his specs | changeset | files |