Sat, 21 Feb 2009 09:58:26 +0100 | nipkow | removed redundant thms | file | diff | annotate |
Tue, 17 Feb 2009 18:48:17 +0100 | nipkow | Cleaned up IntDiv and 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 |