| Mon, 27 Jun 2022 17:36:26 +0200 | traytel | tuned BNF bounds for function space and bounded sets; NEWS and CONTRIBUTORS | file | diff | annotate |
| Mon, 27 Jun 2022 15:54:18 +0200 | traytel | strict bounds for BNFs (by Jan van Brügge) | file | diff | annotate |
| Wed, 10 Jan 2018 15:25:09 +0100 | nipkow | ran isabelle update_op on all sources | file | diff | annotate |
| Thu, 26 May 2016 17:51:22 +0200 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
| Mon, 25 Apr 2016 16:09:26 +0200 | wenzelm | eliminated old 'def'; | file | diff | annotate |
| Tue, 16 Feb 2016 22:28:19 +0100 | traytel | make predicator a first-class bnf citizen | file | diff | annotate |
| Tue, 13 Oct 2015 09:21:15 +0200 | haftmann | prod_case as canonical name for product type eliminator | file | diff | annotate |
| Sun, 03 May 2015 18:45:58 +0200 | wenzelm | proper header; | file | diff | annotate |
| Wed, 18 Mar 2015 21:40:21 +0100 | traytel | bounded powerset | file | diff | annotate |