| Fri, 03 Nov 2000 21:26:11 +0100 | wenzelm | assumption / finish: handle non-atomic assumptions from context as well; | changeset | files |
| Fri, 03 Nov 2000 21:25:30 +0100 | wenzelm | added atomic_judgment; | changeset | files |
| Fri, 03 Nov 2000 21:25:10 +0100 | wenzelm | structure Obtain = Obtain; | changeset | files |
| Fri, 03 Nov 2000 18:33:57 +0100 | paulson | new lemma card_Diff2_less for mulilated chess board | changeset | files |