| Mon, 20 Jan 2014 18:24:56 +0100 | blanchet | tuning | file | diff | annotate |
| Tue, 16 Oct 2012 20:11:15 +0200 | traytel | tuned for document output | file | diff | annotate |
| Tue, 16 Oct 2012 18:07:59 +0200 | traytel | tuned blank lines | file | diff | annotate |
| Tue, 16 Oct 2012 18:05:28 +0200 | traytel | tuned whitespace | file | diff | annotate |
| Tue, 16 Oct 2012 17:33:08 +0200 | popescua | a few notations changed in HOL/BNF/Examples/Derivation_Trees | 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 |
| Tue, 16 Oct 2012 13:09:46 +0200 | popescua | changed name of BNF/Example directory from Infinite_Derivation_Trees to Derivation_Trees | file | diff | annotate | base |