Wed, 16 Jan 2013 21:50:39 +0100 | wenzelm | tuned proofs; | file | diff | annotate |
Fri, 19 Oct 2012 15:12:52 +0200 | webertj | Renamed {left,right}_distrib to distrib_{right,left}. | file | diff | annotate |
Thu, 12 Apr 2012 23:07:01 +0200 | krauss | Set_Algebras: removed syntax \<oplus> and \<otimes>, in favour of plain + and * | file | diff | annotate |
Sun, 11 Mar 2012 13:39:16 +0100 | wenzelm | modernized locale expression, with some fluctuation of arguments; | file | diff | annotate |
Sat, 13 Aug 2011 07:56:55 -0700 | huffman | HOL-Hahn_Banach: use Set_Algebras library | file | diff | annotate |
Sat, 17 Oct 2009 14:43:18 +0200 | wenzelm | eliminated hard tabulators, guessing at each author's individual tab-width; | file | diff | annotate |
Wed, 24 Jun 2009 21:46:54 +0200 | wenzelm | standard naming conventions for session and theories; | file | diff | annotate | base |