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 |