| Sun, 13 May 2007 18:15:26 +0200 | haftmann | whitespace tuned | changeset | files |
| Sun, 13 May 2007 18:15:25 +0200 | haftmann | tuned | changeset | files |
| Sun, 13 May 2007 18:15:24 +0200 | haftmann | fixed omission | changeset | files |
| Sun, 13 May 2007 18:15:23 +0200 | haftmann | tuned setup | changeset | files |
| Sun, 13 May 2007 18:15:22 +0200 | haftmann | refined module rat | changeset | files |
| Sun, 13 May 2007 18:15:21 +0200 | haftmann | added modules rat.ML and int.ML | changeset | files |
| Sun, 13 May 2007 09:23:27 +0200 | nipkow | Removed junk | changeset | files |
| Sun, 13 May 2007 07:11:21 +0200 | nipkow | Got rid of listsp | changeset | files |
| Sun, 13 May 2007 04:38:24 +0200 | huffman | removed redundant lemmas | changeset | files |
| Sat, 12 May 2007 18:16:30 +0200 | huffman | add lemma additive.setsum | changeset | files |
| Fri, 11 May 2007 20:47:30 +0200 | nipkow | *** empty log message *** | changeset | files |
| Fri, 11 May 2007 20:07:00 +0200 | nipkow | *** empty log message *** | changeset | files |
| Fri, 11 May 2007 18:49:15 +0200 | wenzelm | proper type for fun/arg_cong_rule; | changeset | files |
| Fri, 11 May 2007 18:47:08 +0200 | wenzelm | added fun/arg_cong_rule; | changeset | files |