Wed, 18 Dec 2013 11:03:40 +0100 | traytel | express weak pullback property of bnfs only in terms of the relator | file | diff | annotate |
Wed, 20 Nov 2013 20:18:53 +0100 | blanchet | move registration of countable set type as BNF to its own theory file (+ renamed theory) | file | diff | annotate | base |