| 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 |