| 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 |
| Fri, 18 Sep 2009 23:08:53 +0200 | nipkow | modified minimization log | changeset | files |
| Fri, 18 Sep 2009 14:40:24 +0200 | nipkow | merged | changeset | files |