| changeset 16252 | 8cddc62ed170 |
| parent 15994 | dd9023d84f44 |
| child 16868 | eaafda56b14c |
| 16251:121dc80d120a | 16252:8cddc62ed170 |
|---|---|
3 Substantially improved retrieval of facts from theory/proof context. |
3 Substantially improved retrieval of facts from theory/proof context. |
4 |
4 |
5 * May 2005: Florian Haftmann, TUM |
5 * May 2005: Florian Haftmann, TUM |
6 Several new antiquotation. |
6 Several new antiquotation. |
7 |
7 |
8 * February 2005: Lucas Dixon, University of Edinburgh |
|
9 Substantially improved subst method. |
|
10 |
|
8 $Id$ |
11 $Id$ |