| Sun, 22 Mar 2009 19:36:04 +0100 | nipkow | 1. New cancellation simprocs for common factors in inequations | file | diff | annotate |
| Wed, 11 Mar 2009 10:58:18 +0100 | hoelzl | Updated paths in Decision_Procs comments and NEWS | file | diff | annotate |
| Wed, 04 Mar 2009 11:05:29 +0100 | blanchet | Merge. | file | diff | annotate |
| Wed, 04 Mar 2009 10:45:52 +0100 | blanchet | Merge. | file | diff | annotate |
| Thu, 26 Feb 2009 06:33:48 -0800 | huffman | add type annotation | file | diff | annotate |
| Wed, 25 Feb 2009 11:29:59 -0800 | huffman | generalize floor/ceiling to work with real and rat; rename floor_mono2 to floor_mono | 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 |