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 |