| Wed, 10 Jan 2018 15:25:09 +0100 | nipkow | ran isabelle update_op on all sources | file | diff | annotate |
| Thu, 14 Apr 2016 20:29:42 +0200 | traytel | n2m operates on (un)folds | file | diff | annotate |
| Thu, 07 Apr 2016 17:56:22 +0200 | traytel | derive (co)rec uniformly from (un)fold | file | diff | annotate |