Thu, 22 Oct 2009 13:48:06 +0200 | haftmann | map_range (and map_index) combinator | 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 |
Tue, 07 Jul 2009 17:39:51 +0200 | nipkow | renamed lemmas: nat_xyz/int_xyz -> xyz_nat/xyz_int | file | diff | annotate |
Sat, 20 Jun 2009 13:34:54 +0200 | nipkow | added lemmas; tuned | file | diff | annotate |
Thu, 18 Jun 2009 11:52:37 -0700 | huffman | update to work with new GCD library | file | diff | annotate |
Wed, 11 Mar 2009 10:58:18 +0100 | hoelzl | Updated paths in Decision_Procs comments and NEWS | file | diff | annotate |
Sat, 21 Feb 2009 20:52:30 +0100 | nipkow | Removed subsumed lemmas | file | diff | annotate |
Fri, 06 Feb 2009 15:15:32 +0100 | haftmann | session Reflecion renamed to Decision_Procs, moved Dense_Linear_Order there | file | diff | annotate | base |