Fri, 24 Jan 2014 11:51:45 +0100 | blanchet | killed 'More_BNFs' by moving its various bits where they (now) belong | file | diff | annotate |
Mon, 20 Jan 2014 23:43:42 +0100 | blanchet | technical import to avoid infamous 'duplicate Option.size' error at merge time in 'List.thy' | file | diff | annotate |
Mon, 20 Jan 2014 23:34:26 +0100 | blanchet | swapped dependencies of 'Finite_Set' and 'Option' (to move BNF up) | 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 |