| Mon, 17 Mar 2008 20:51:09 +0100 | wenzelm | replaced generic add by add_local/add_global; | file | diff | annotate |
| Sat, 15 Mar 2008 22:07:31 +0100 | wenzelm | del: hide in name space; | file | diff | annotate |
| Sat, 15 Mar 2008 18:08:02 +0100 | wenzelm | Environment of named facts (admits overriding). Optional indexing by proposition. | file | diff | annotate |