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 |