changeset 15994 | dd9023d84f44 |
parent 15993 | 99320adfbf3a |
child 16252 | 8cddc62ed170 |
15993:99320adfbf3a | 15994:dd9023d84f44 |
---|---|
2 * May 2005: Rafal Kolanski, NICTA |
2 * May 2005: Rafal Kolanski, NICTA |
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 |
|
8 $Id$ |