Fri, 12 Oct 2012 18:58:20 +0200 | wenzelm | discontinued obsolete typedef (open) syntax; | file | diff | annotate |
Sun, 25 Mar 2012 20:15:39 +0200 | huffman | merged fork with new numeral representation (see NEWS) | file | diff | annotate |
Tue, 27 Dec 2011 09:45:10 +0100 | haftmann | be explicit about Finite_Set.fold | file | diff | annotate |
Wed, 30 Nov 2011 16:03:18 +0100 | wenzelm | tuned header; | file | diff | annotate |
Sun, 11 Sep 2011 07:21:45 -0700 | huffman | Library/Saturated.thy: 'Sat' abbreviates 'of_nat' | file | diff | annotate |
Thu, 08 Sep 2011 19:35:23 -0700 | huffman | Library/Saturated.thy: number_semiring class instance | file | diff | annotate |
Thu, 08 Sep 2011 18:47:23 -0700 | huffman | remove lemmas nat_add_min_{left,right} in favor of generic lemmas min_add_distrib_{left,right} | file | diff | annotate |
Wed, 07 Sep 2011 23:55:40 +0200 | haftmann | theory of saturated naturals contributed by Peter Gammie | file | diff | annotate |