Fri, 28 Feb 2014 17:54:52 +0100 | traytel | load Metis a little later | file | diff | annotate |
Thu, 16 Jan 2014 20:52:54 +0100 | blanchet | get rid of 'rel' locale, to facilitate inclusion of 'Order_Relation_More_FP' into 'Order_Relation' | file | diff | annotate |
Thu, 16 Jan 2014 16:33:19 +0100 | blanchet | moved 'Zorn' into 'Main', since it's a BNF dependency | file | diff | annotate |
Wed, 20 Nov 2013 23:14:06 +0100 | blanchet | effectively reverted d25fc4c0ff62, to avoid quasi-cyclic dependencies with HOL-Cardinals and minimize BNF dependencies | file | diff | annotate |