| Fri, 17 Apr 2015 16:59:43 +0200 | noschinl | rewrite: work purely conversion-based | file | diff | annotate |
| Fri, 17 Apr 2015 10:49:57 +0200 | noschinl | rewrite: add default pattern "in concl" for more cases | file | diff | annotate |
| Thu, 16 Apr 2015 15:55:55 +0200 | noschinl | rewrite: use distinct names for unnamed abstractions | file | diff | annotate |