| Wed, 20 Nov 2013 18:58:00 +0100 | blanchet | factor 'List_Prefix' out of 'Sublist' and move to 'Main' (needed for codatatypes) | 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: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 |