src/HOL/BNF_Wellorder_Relation.thy
Mon, 07 Dec 2015 10:38:04 +0100 wenzelm isabelle update_cartouches -c -t;
Sat, 18 Jul 2015 22:58:50 +0200 wenzelm isabelle update_cartouches;
Fri, 26 Jun 2015 10:20:33 +0200 wenzelm tuned whitespace;
Sun, 02 Nov 2014 18:21:45 +0100 wenzelm modernized header uniformly as section;
Thu, 30 Jan 2014 12:27:42 +0100 traytel define ofilter outside of wo_rel
Wed, 22 Jan 2014 09:45:30 +0100 blanchet whitespace tuning
Mon, 20 Jan 2014 18:24:56 +0100 blanchet tuned comments
Mon, 20 Jan 2014 18:24:55 +0100 blanchet renamed '_FP' files to 'BNF_' files
less more (0) tip