| Mon, 04 Jun 2007 21:04:20 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 04 Jun 2007 21:04:19 +0200 | wenzelm | added is_atomic; | changeset | files |
| Mon, 04 Jun 2007 21:04:19 +0200 | wenzelm | added assume_rule_tac; | changeset | files |
| Mon, 04 Jun 2007 15:43:32 +0200 | haftmann | reverted appnd to append | changeset | files |
| Mon, 04 Jun 2007 15:43:31 +0200 | haftmann | authentic syntax for List.append | changeset | files |
| Mon, 04 Jun 2007 15:43:30 +0200 | haftmann | tuned comments | changeset | files |
| Mon, 04 Jun 2007 13:22:22 +0200 | urbanc | added a few comments to the proofs | changeset | files |
| Mon, 04 Jun 2007 11:39:19 +0200 | chaieb | removed fixmes | changeset | files |