| Fri, 17 Apr 2009 08:34:51 +0200 | haftmann | added both cancel_div_mod_procs | file | diff | annotate |
| Fri, 13 Mar 2009 19:53:09 +0100 | wenzelm | more regular method setup via SIMPLE_METHOD; | 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 |
| Tue, 03 Mar 2009 17:05:18 +0100 | nipkow | removed and renamed redundant lemmas | file | diff | annotate |
| Sat, 21 Feb 2009 09:58:26 +0100 | nipkow | removed redundant thms | file | diff | annotate |
| Fri, 20 Feb 2009 23:46:03 +0100 | nipkow | Removed redundant lemmas | 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 |