| Wed, 17 Jun 2009 16:55:01 -0700 | huffman | new GCD library, courtesy of Jeremy Avigad | file | diff | annotate |
| Mon, 23 Mar 2009 19:01:15 +0100 | haftmann | suddenly infix identifier oo occurs in generated code | 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 |