| Wed, 17 Sep 2008 21:27:08 +0200 | wenzelm | back to dynamic the_context(), because static @{theory} is invalidated if ML environment changes within the same code block; | changeset | files |
| Wed, 17 Sep 2008 21:27:03 +0200 | wenzelm | updated generated file; | changeset | files |
| Wed, 17 Sep 2008 15:59:23 +0200 | krauss | wf_finite_psubset[simp], in_finite_psubset[simp] | changeset | files |