| Wed, 12 Sep 2012 23:18:26 +0200 | wenzelm | observe context more carefully when producing "fresh" variables -- for increased chances that method "subst" works in local context (including that of forked proofs); | changeset | files |
| Wed, 12 Sep 2012 22:00:29 +0200 | wenzelm | eliminated some old material that is unused in the visible universe; | changeset | files |