| Wed, 13 Mar 2013 13:23:16 +0100 | traytel | BNF uses fset defined via Lifting/Transfer rather than Quotient | file | diff | annotate |
| Fri, 14 Dec 2012 16:33:22 +0100 | wenzelm | updated some headers; | file | diff | annotate |
| Tue, 16 Oct 2012 20:11:15 +0200 | traytel | tuned for document output | file | diff | annotate |
| Tue, 16 Oct 2012 18:05:28 +0200 | traytel | tuned whitespace | file | diff | annotate |
| Tue, 16 Oct 2012 17:08:20 +0200 | popescua | ported HOL/BNF/Examples/Derivation_Trees to the latest status of the codatatype package | file | diff | annotate | base |