| Tue, 15 Apr 2008 18:49:18 +0200 | wenzelm | renamed dest to dest_table, and extern to extern table; | file | diff | annotate |
| Tue, 15 Apr 2008 16:12:11 +0200 | wenzelm | disallow duplicate entries (weak version for merge); | file | diff | annotate |
| Tue, 25 Mar 2008 19:39:59 +0100 | wenzelm | support dynamic facts; | file | diff | annotate |
| Thu, 20 Mar 2008 17:38:53 +0100 | wenzelm | added pos_of_ref; | file | diff | annotate |
| Thu, 20 Mar 2008 16:04:30 +0100 | wenzelm | Facts.Named: include position; | file | diff | annotate |
| Wed, 19 Mar 2008 22:27:57 +0100 | wenzelm | renamed datatype thmref to Facts.ref, tuned interfaces; | file | diff | annotate |
| 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 |