| Thu, 24 Jul 2014 11:54:15 +0200 | wenzelm | more robust notation BNF_Def.convol, which is private to main HOL, but may cause syntax ambiguities nonetheless (e.g. List.thy); | file | diff | annotate |
| Thu, 24 Jul 2014 00:24:00 +0200 | blanchet | tuning | file | diff | annotate |
| Fri, 27 Jun 2014 10:11:44 +0200 | blanchet | merged two small theory files | file | diff | annotate |
| Tue, 10 Jun 2014 21:15:57 +0200 | blanchet | changed syntax of map: and rel: arguments to BNF-based datatypes | file | diff | annotate |
| Tue, 13 May 2014 09:21:22 +0200 | traytel | bnf_decl -> bnf_axiomatization | file | diff | annotate |
| Thu, 06 Mar 2014 13:36:48 +0100 | blanchet | renamed 'map_pair' to 'map_prod' | file | diff | annotate |
| Thu, 27 Feb 2014 22:46:29 +0100 | traytel | adapt examples to new intermediate typedef | file | diff | annotate |