Tue, 16 Jan 2018 09:30:00 +0100 | wenzelm | standardized towards new-style formal comments: isabelle update_comments; | file | diff | annotate |
Thu, 26 May 2016 17:51:22 +0200 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
Mon, 25 Apr 2016 16:09:26 +0200 | wenzelm | eliminated old 'def'; | file | diff | annotate |
Sun, 02 Nov 2014 18:21:45 +0100 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
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 |