| Fri, 09 Aug 2019 17:14:49 +0200 | wenzelm | formal position for PThm nodes; | file | diff | annotate |
| Fri, 04 Jan 2019 23:22:53 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Sat, 28 May 2016 21:38:58 +0200 | wenzelm | clarified 'axiomatization'; | file | diff | annotate |
| Thu, 28 Apr 2016 09:43:11 +0200 | wenzelm | support 'assumes' in specifications, e.g. 'definition', 'inductive'; | file | diff | annotate |
| Tue, 22 Mar 2016 13:44:50 +0100 | blanchet | tuned whitespace | file | diff | annotate |
| Tue, 22 Mar 2016 12:39:37 +0100 | blanchet | put all 'bnf_*.ML' files together, irrespective of bootstrapping/dependency constraints | file | diff | annotate | base |