| Tue, 26 Jun 2007 18:28:40 +0200 | paulson | simplified | changeset | files |
| Tue, 26 Jun 2007 15:48:24 +0200 | paulson | completed some references | changeset | files |
| Tue, 26 Jun 2007 15:48:09 +0200 | paulson | changes for type class ring_no_zero_divisors | changeset | files |
| Tue, 26 Jun 2007 13:02:28 +0200 | nipkow | *** empty log message *** | changeset | files |
| Tue, 26 Jun 2007 13:01:48 +0200 | nipkow | added NBE | changeset | files |
| Tue, 26 Jun 2007 08:42:04 +0200 | nipkow | removed removed lemmas | changeset | files |
| Tue, 26 Jun 2007 00:35:14 +0200 | wenzelm | fixed undo: try undos_proof first! | changeset | files |
| Mon, 25 Jun 2007 22:46:55 +0200 | wenzelm | tactics: more robust addressing of subgoal using (C)SUBGOAL/THEN_ALL_NEW; | changeset | files |