| Mon, 20 Jan 2014 20:21:12 +0100 | blanchet | move BNF_LFP up the dependency chain | file | diff | annotate |
| Tue, 13 Aug 2013 18:22:55 +0200 | traytel | got rid of the dependency of Lifting_* on the function package; use the original rel constants for basic BNFs; | file | diff | annotate |
| Tue, 13 Aug 2013 15:59:22 +0200 | kuncar | move Lifting/Transfer relevant parts of Library/Quotient_* to Main | file | diff | annotate |