| Wed, 05 Mar 2008 21:24:07 +0100 | wenzelm | indexing literal facts: exclude background context; | changeset | files |
| Wed, 05 Mar 2008 21:24:06 +0100 | wenzelm | put_thms: do not index facts here (affects prems/this/calculation in particular); | changeset | files |
| Wed, 05 Mar 2008 21:24:03 +0100 | wenzelm | explicit referencing of background facts; | changeset | files |